JohnCremona / eclib
The eclib package includes mwrank (for 2-descent on elliptic curves over Q) and modular symbol code used to create the elliptic curve database.
☆21Updated last week
Related projects ⓘ
Alternatives and complementary repositories for eclib
- Data files containing the Cremona Database of all elliptic curves over Q of bounded conductor: see also http://www.lmfdb.org/EllipticCurv…☆17Updated 8 months ago
- Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆61Updated last year
- Successor to PolyBoRi☆17Updated last year
- Python interface to the number theory library PARI/GP. Source repository for https://pypi.org/project/cypari2/☆30Updated last month
- Homebrew tap for GAP☆14Updated 5 months ago
- LiDIA --- A library for computational number theory, developed 1994-2004 by Johannes Buchmann's group at TU Darmstadt, relicensed to GPL …☆28Updated 5 years ago
- Source for https://www.sagemath.org/library-publications.html; submit Issues/PRs here to add/update citations of documents citing Sage☆24Updated last month
- formalization of theorems of higher algebraic K-theory☆8Updated 10 years ago
- Theorem proving in Lean☆48Updated last month
- Algebra Number Theory book☆47Updated 2 years ago
- Julia Implementation of Unums☆42Updated 7 years ago
- Finite field polynomial arithmetic based on fast Fourier transforms☆19Updated 4 years ago
- M4GB: Efficient Groebner Basis algorithm☆53Updated 5 years ago
- A new language for optimization☆13Updated 3 years ago
- FFLAS-FFPACK - Finite Field Linear Algebra Subroutines / Package☆56Updated 2 months ago
- Multinomials for the Mathematical Components library.☆14Updated 4 months ago
- collaboration on work in progress☆15Updated 13 years ago
- Johan's clone of the cring repository from http://cring.adeel.ru/☆27Updated 11 years ago
- Lattice-based integer linear programming solver☆65Updated 3 years ago
- The Boole Interactive Reasoning Assistant☆27Updated 10 years ago
- An encyclopedia of proofs☆57Updated last week
- Archived materials related to Homotopy Type Theory.☆10Updated 12 years ago
- A formalization of bitset operations in Coq and the corresponding axiomatization and extraction to OCaml native integers [maintainer=@ant…☆22Updated 3 months ago
- Exploring connections between automatic differentiation and smooth infinitesimal analysis, or smooth algebras☆17Updated 3 years ago
- ☆44Updated last year
- A collection of small projects to illustrate how to write plugins for Coq☆21Updated 5 years ago
- A formalization of M-types in Agda☆32Updated 4 years ago
- Formal topology (and some probability) in Coq☆32Updated 5 years ago
- This repository contains the Maude 2 interpreter source tree.☆43Updated 6 years ago
- There is a new version of dReal, available at https://github.com/dreal/dreal4☆48Updated 3 years ago