flintlib / flintLinks
FLINT (Fast Library for Number Theory)
☆542Updated last week
Alternatives and similar repositories for flint
Users that are interested in flint are comparing it to the libraries listed below
Sorting:
- Arb has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆471Updated last year
- ☆314Updated last month
- Library for Polynomial System Solving through Algebraic Methods☆163Updated this week
- The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.☆399Updated this week
- Lattice algorithms using floating-point arithmetic☆384Updated last month
- sources for the Singular computer algebra system☆295Updated this week
- Main development repository for GAP - Groups, Algorithms, Programming, a System for Computational Discrete Algebra☆923Updated this week
- ☆37Updated 2 weeks ago
- Python bindings for Flint and Arb☆141Updated 3 weeks ago
- LiDIA --- A library for computational number theory, developed 1994-2004 by Johannes Buchmann's group at TU Darmstadt, relicensed to GPL …☆30Updated 7 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☆63Updated 2 months ago
- Multiple Precision Integers and Rationals☆238Updated last year
- LinBox - C++ library for exact, high-performance linear algebra☆97Updated last month
- Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆82Updated 2 years ago
- a Sparse Direct Solver modulo p☆28Updated last year
- M4GB: Efficient Groebner Basis algorithm☆71Updated 7 years ago
- M4RI is a library for fast arithmetic with dense matrices over GF(2)☆84Updated 3 weeks ago
- A performant NumPy extension for Galois fields and their applications☆444Updated this week
- 🚀 Sum of the primes below x☆39Updated 3 years ago
- An advanced SAT solver☆900Updated last week
- Data files containing the Cremona Database of all elliptic curves over Q of bounded conductor: see also http://www.lmfdb.org/EllipticCurv…☆21Updated last year
- Official repository of the FriCAS computer algebra system☆360Updated 3 weeks ago
- Lean 3 Theorem Prover (community fork)☆433Updated 2 years ago
- Successor to PolyBoRi☆21Updated 2 months ago
- Metamath program - source code for the Metamath executable☆89Updated this week
- Polynomial Matrix Library. Additions to NTL and FLINT libraries, with a focus on univariate polynomial matrices, structured matrices, and…☆20Updated this week
- A Python interface for https://github.com/fplll/fplll☆155Updated 3 weeks ago
- EasyCrypt: Computer-Aided Cryptographic Proofs☆372Updated this week
- Givaro - C++ library for arithmetic and algebraic computations☆53Updated 2 months ago