passagemath / LiDIA
LiDIA --- A library for computational number theory, developed 1994-2004 by Johannes Buchmann's group at TU Darmstadt, relicensed to GPL 2+ in 2006/2010. Not under active development. Minimal patches for using it within the LattE integrale project.
☆28Updated 5 years ago
Alternatives and similar repositories for LiDIA:
Users that are interested in LiDIA are comparing it to the libraries listed below
- Givaro - C++ library for arithmetic and algebraic computations☆51Updated last month
- Successor to PolyBoRi☆19Updated 3 months ago
- Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆61Updated 2 years ago
- FFLAS-FFPACK - Finite Field Linear Algebra Subroutines / Package☆57Updated last month
- 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
- SAT instance generator for SHA-1☆47Updated 4 years ago
- CryptoBib Database for Developers☆44Updated 2 months ago
- LinBox - C++ library for exact, high-performance linear algebra☆85Updated last month
- Algebra Number Theory book☆48Updated 3 years ago
- M4GB: Efficient Groebner Basis algorithm☆55Updated 6 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…☆22Updated 2 months ago
- Fast combinatorics in C++ using SSE/AVX instruction sets☆15Updated 2 weeks ago
- Python interface to the number theory library PARI/GP. Source repository for https://pypi.org/project/cypari2/☆30Updated 2 months ago
- Proof assistant for qRHL☆20Updated last month
- 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
- CertiCrypt Coq Framework☆35Updated 8 years ago
- Software for "Quantum-Resistant Cryptosystems from Supersingular Elliptic Curve Isogenies"☆90Updated 5 years ago
- Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.☆45Updated 2 weeks ago
- knot theory and computational algebra software☆37Updated 10 years ago
- My copy of FLINT -- please use https://github.com/flintlib/flint/ for development☆82Updated 3 weeks ago
- GAP package guava - computations relative to error-correcting codes☆15Updated last week
- VATA Tree Automata Library☆32Updated 7 months ago
- ☆17Updated last year
- ☆19Updated 2 years ago
- FLECC_IN_C is a FLexible Elliptic Curve Cryptography library written IN C☆18Updated 7 years ago
- Coq library of arbitrarily large numbers, providing BigN, BigZ, BigQ that used to be part of the standard library [maintainers=@proux01,@…☆22Updated last month
- Program Round-off Error Certifier via Static Analysis☆51Updated 5 months ago
- Rigorous computation of the endomorphism ring of a Jacobian☆10Updated this week
- Python code and tests for the post 'Programming with Finite Fields'☆48Updated 4 years ago
- ☆30Updated 11 months ago