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
- Successor to PolyBoRi☆19Updated 3 months ago
- Python interface to the number theory library PARI/GP. Source repository for https://pypi.org/project/cypari2/☆30Updated 2 months ago
- Rigorous computation of the endomorphism ring of a Jacobian☆10Updated last week
- 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
- FFLAS-FFPACK - Finite Field Linear Algebra Subroutines / Package☆58Updated last month
- Johan's clone of the cring repository from http://cring.adeel.ru/☆29Updated 11 years ago
- Embed code, results of computations, and plots from the Sage mathematics software suite (https://www.sagemath.org) into LaTeX documents. …☆62Updated 2 years ago
- C++ library for semigroups and monoids☆46Updated this week
- Jupyter kernel for PARI/GP. Source repository for https://pypi.org/project/pari-jupyter/☆11Updated 6 months ago
- Metamath program - source code for the Metamath executable☆83Updated 7 months ago
- More SageMath Tutorials: A place to share and evolve tutorials for Sage, with the aim to contribute them to Sage☆32Updated last year
- Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.☆45Updated 3 weeks ago
- Notes on how to use the internal language of toposes in algebraic geometry☆56Updated last month
- Givaro - C++ library for arithmetic and algebraic computations☆51Updated last week
- some maths papers in English☆18Updated last month
- Tag-based webview of LaTeX documents☆28Updated last year
- LinBox - C++ library for exact, high-performance linear algebra☆85Updated last month
- Elementary Number Theory: Primes, Congruences, and Secrets☆108Updated last year
- knot theory and computational algebra software☆37Updated 10 years ago
- Quantomatic is a tool for doing automated graph rewriting.☆162Updated 5 years ago
- ☆11Updated last year
- metamath proof enumerators and other things☆93Updated 8 months ago
- A place to put our 2018 Xena project UROP thoughts and programs.☆25Updated 4 years ago
- Homebrew tap for GAP☆14Updated 9 months ago
- 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
- Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theor…☆27Updated last year
- Python implementation of the monster group☆42Updated 3 weeks ago