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.
☆22Updated 3 weeks ago
Alternatives and similar repositories for eclib:
Users that are interested in eclib are comparing it to the libraries listed below
- 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
- Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆61Updated last year
- Data files containing the Cremona Database of all elliptic curves over Q of bounded conductor: see also http://www.lmfdb.org/EllipticCurv…☆20Updated 11 months ago
- Python interface to the number theory library PARI/GP. Source repository for https://pypi.org/project/cypari2/☆30Updated last month
- Johan's clone of the cring repository from http://cring.adeel.ru/☆29Updated 11 years ago
- knot theory and computational algebra software☆37Updated 10 years ago
- Theorem proving in Lean☆49Updated 4 months ago
- FFLAS-FFPACK - Finite Field Linear Algebra Subroutines / Package☆57Updated last week
- M4GB: Efficient Groebner Basis algorithm☆54Updated 6 years ago
- Spherogram is a Python module for dealing with the kind of planar diagrams that arise in 3-dimensional topology, such as link and Heegaar…☆19Updated last month
- Theorema: A System for Automated Reasoning (Theorem Proving) and Automated Theory Exploration based on Mathematica☆71Updated 3 years ago
- Successor to PolyBoRi☆18Updated 2 months ago
- Algebra Number Theory book☆48Updated 2 years ago
- Givaro - C++ library for arithmetic and algebraic computations☆51Updated this week
- SAT instance generator for SHA-1☆47Updated 4 years ago
- Deposited packages of the homalg project☆13Updated last month
- A Language and Compiler for Homomorphic Encryption Made easY☆66Updated 4 years ago
- Quantomatic is a tool for doing automated graph rewriting.☆160Updated 5 years ago
- Source for https://www.sagemath.org/library-publications.html; submit Issues/PRs here to add/update citations of documents citing Sage☆25Updated 2 months ago
- 💧 Liquid Tensor Experiment☆188Updated last year
- Lean theorem prover version 0.2 (it supports standard and HoTT modes)☆120Updated 2 years ago
- Homebrew tap for GAP☆14Updated 8 months ago
- haskell bindings for blas and lapack☆49Updated 7 years ago
- Real number computation software☆123Updated 2 years ago
- Voevodsky's original development of the univalent foundations of mathematics in Coq☆54Updated 10 years ago
- Homotopy theory in Coq.☆91Updated 13 years ago
- Lean Tutorials☆44Updated 4 years ago
- MiniCard: An efficient cardinality solver based on MiniSAT☆17Updated 3 years ago
- Rigorous computation of the endomorphism ring of a Jacobian☆10Updated last week
- This project contains various supporting libraries for lean to reason about protocols.☆42Updated 7 years ago