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
Related projects ⓘ
Alternatives and complementary repositories for LiDIA
- Givaro - C++ library for arithmetic and algebraic computations☆51Updated 5 months ago
- Successor to PolyBoRi☆17Updated last year
- The eclib package includes mwrank (for 2-descent on elliptic curves over Q) and modular symbol code used to create the elliptic curve dat…☆21Updated 4 months ago
- Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆61Updated last year
- FFLAS-FFPACK - Finite Field Linear Algebra Subroutines / Package☆56Updated 2 months ago
- LinBox - C++ library for exact, high-performance linear algebra☆83Updated last month
- 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
- Source for https://www.sagemath.org/library-publications.html; submit Issues/PRs here to add/update citations of documents citing Sage☆24Updated 3 weeks ago
- Fast combinatorics in C++ using SSE/AVX instruction sets☆15Updated 2 months ago
- A simple CAS written in C.☆10Updated 9 years ago
- My copy of FLINT -- please use https://github.com/flintlib/flint/ for development☆82Updated this week
- SAT instance generator for SHA-1☆47Updated 3 years ago
- CertiCrypt Coq Framework☆32Updated 8 years ago
- M4GB: Efficient Groebner Basis algorithm☆53Updated 5 years ago
- Analysis and generation of substitutions☆22Updated 2 years ago
- Algebra Number Theory book☆47Updated 2 years ago
- A Python interface for https://github.com/fplll/fplll☆122Updated 4 months ago
- Coq library of arbitrarily large numbers, providing BigN, BigZ, BigQ that used to be part of the standard library [maintainers=@proux01,@…☆22Updated 3 months ago
- A library for doing constant-time fixed-point numeric operations☆27Updated 4 years ago
- ☆52Updated 2 months ago
- Lattice-based integer linear programming solver☆65Updated 3 years ago
- Rigorous computation of the endomorphism ring of a Jacobian☆10Updated 2 months ago
- CryptoBib Database for Developers☆40Updated 3 weeks ago
- 🚀 Sum of the primes below x☆36Updated 2 years ago
- C++ implementation of the preliminary IEEE P1788 standard for interval arithmetic☆46Updated 9 years ago
- ☆19Updated 7 years ago
- ☆17Updated 9 months ago
- C++ library for semigroups and monoids☆45Updated this week
- Bosphorus, ANF simplifier and solver, and ANF-to-CNF converter☆67Updated 2 weeks ago
- A Language and Compiler for Homomorphic Encryption Made easY☆66Updated 4 years ago