JohnCremona / eclibLinks
The eclib package includes mwrank (for 2-descent on elliptic curves over Q) and modular symbol code used to create the elliptic curve database.
☆23Updated last week
Alternatives and similar repositories for eclib
Users that are interested in eclib are comparing it to the libraries listed below
Sorting:
- Data files containing the Cremona Database of all elliptic curves over Q of bounded conductor: see also http://www.lmfdb.org/EllipticCurv…☆20Updated last year
- Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆61Updated 2 years ago
- Python interface to the number theory library PARI/GP. Source repository for https://pypi.org/project/cypari2/☆29Updated last month
- Theorem proving in Lean☆49Updated 8 months ago
- LiDIA --- A library for computational number theory, developed 1994-2004 by Johannes Buchmann's group at TU Darmstadt, relicensed to GPL …☆30Updated last month
- Johan's clone of the cring repository from http://cring.adeel.ru/☆29Updated 11 years ago
- Schemes in Lean (v2)☆43Updated 4 years ago
- Successor to PolyBoRi☆20Updated last month
- ☆23Updated 3 years ago
- Various Futhark benchmark programs☆42Updated last month
- CertiCrypt Coq Framework☆35Updated 9 years ago
- HoTT in Lean 3☆80Updated 4 years ago
- Automatically exported from code.google.com/p/atlasofliegroups☆32Updated this week
- Perfectoid spaces in the Lean formal theorem prover.☆123Updated 11 months ago
- metamath proof enumerators and other things☆94Updated 11 months ago
- Coq library for verified low-level programming☆60Updated 8 years ago
- A Probability Theory Library for the Coq Theorem Prover☆54Updated last year
- M4GB: Efficient Groebner Basis algorithm☆55Updated 6 years ago
- ☆47Updated 2 years ago
- Lean for the Curious Mathematician 2020☆67Updated last year
- SAT instance generator for SHA-1☆49Updated 4 years ago
- Source of metamath book☆48Updated last year
- Real number computation software☆125Updated 2 years ago
- Code samples for Lean 4☆75Updated last year
- knot theory and computational algebra software☆37Updated 11 years ago
- An encyclopedia of proofs☆60Updated 7 months ago
- Exploring connections between automatic differentiation and smooth infinitesimal analysis, or smooth algebras☆17Updated 3 years ago
- My copy of FLINT -- please use https://github.com/flintlib/flint/ for development☆82Updated this week
- A formal proof of the independence of the continuum hypothesis☆127Updated 10 months ago
- Functional Programming in Lean☆97Updated this week