JohnCremona / ecdata
Data files containing the Cremona Database of all elliptic curves over Q of bounded conductor: see also http://www.lmfdb.org/EllipticCurve/Q . For a description of how most of the data here was computed, see the ANTS 7 Proceedings at http://www.math.tu-berlin.de/~kant/ants/proceedings.html . For a description of the algorithms used, see the bo…
☆20Updated last year
Alternatives and similar repositories for ecdata:
Users that are interested in ecdata are comparing it to the libraries listed below
- Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆61Updated 2 years ago
- Algebra Number Theory book☆48Updated 3 years ago
- The eclib package includes mwrank (for 2-descent on elliptic curves over Q) and modular symbol code used to create the elliptic curve dat…☆23Updated 2 months ago
- LiDIA --- A library for computational number theory, developed 1994-2004 by Johannes Buchmann's group at TU Darmstadt, relicensed to GPL …☆29Updated 5 years ago
- Successor to PolyBoRi☆19Updated 3 months ago
- Metamath program - source code for the Metamath executable☆83Updated 7 months ago
- knot theory and computational algebra software☆37Updated 10 years ago
- Python interface to the number theory library PARI/GP. Source repository for https://pypi.org/project/cypari2/☆30Updated 2 months ago
- Sources of Java version of SURFER (which uses JavaFX 1.3.1)☆32Updated 6 years ago
- Jupyter kernel for PARI/GP. Source repository for https://pypi.org/project/pari-jupyter/☆11Updated 6 months ago
- Tag-based webview of LaTeX documents☆28Updated last year
- ☆30Updated this week
- Source for https://www.sagemath.org/library-publications.html; submit Issues/PRs here to add/update citations of documents citing Sage☆25Updated 3 months ago
- Johan's clone of the cring repository from http://cring.adeel.ru/☆29Updated 11 years ago
- Compiler Technologies for Mathematica/Wolfram Language.☆36Updated 4 years ago
- Software for "Quantum-Resistant Cryptosystems from Supersingular Elliptic Curve Isogenies"☆90Updated 5 years ago
- Rigorous computation of the endomorphism ring of a Jacobian☆10Updated last week
- a simplistic implementation of the Mathematica language in C++ (not maintained anymore, consider using Mathics instead)☆38Updated 12 years ago
- Proof assistant for qRHL☆19Updated 2 months ago
- "A First Course in Linear Algebra" open source textbook☆67Updated 5 months ago
- Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.☆45Updated 3 weeks ago
- Python code and tests for the post 'Programming with Finite Fields'☆48Updated 4 years ago
- A sample project illustrating how to write and distribute SageMath extensions☆17Updated 2 years ago
- Public repository for Abstact Algebra Theory and Applications☆168Updated 8 months ago
- NaDeA (Natural Deduction Assistant) - With a Formalization in Isabelle☆15Updated 2 years ago
- LaTeX version of Grothendieck's Pursuing Stacks☆47Updated 3 years ago
- Elementary Number Theory: Primes, Congruences, and Secrets☆108Updated last year
- Homotopy theory in Coq.☆92Updated 14 years ago
- A survey of known lower bounds in arithmetic circuits.☆30Updated 3 years ago
- some maths papers in English☆18Updated last month