Last released Jan 31, 2024
Compute non-archimedean Darmon points
Last released Jan 13, 2020
A free open-source mathematics software system
Last released Jul 21, 2017
Algorithms for proving that class-number-one real quadratic fields are 2-stage euclidean, and to find continued fraction expansions in them.
Supported by