flintlib / flintLinks
FLINT (Fast Library for Number Theory)
☆506Updated this 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☆465Updated last year
- The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.☆372Updated this week
- sources for the Singular computer algebra system☆280Updated this week
- My copy of FLINT -- please use https://github.com/flintlib/flint/ for development☆82Updated this week
- LinBox - C++ library for exact, high-performance linear algebra☆88Updated this week
- Library for Polynomial System Solving through Algebraic Methods☆137Updated this week
- ☆291Updated last year
- Python bindings for Flint and Arb☆136Updated last week
- 🚀 Fast prime counting function library☆329Updated last week
- Lattice algorithms using floating-point arithmetic☆358Updated last month
- Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆81Updated last year
- Multiple Precision Integers and Rationals☆236Updated 6 months ago
- FFLAS-FFPACK - Finite Field Linear Algebra Subroutines / Package☆62Updated this week
- Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆61Updated 2 years ago
- ☆36Updated this week
- LiDIA --- A library for computational number theory, developed 1994-2004 by Johannes Buchmann's group at TU Darmstadt, relicensed to GPL …☆30Updated last month
- Official repository of the FriCAS computer algebra system☆338Updated this week
- Main development repository for GAP - Groups, Algorithms, Programming, a System for Computational Discrete Algebra☆874Updated this week
- a Sparse Direct Solver modulo p☆26Updated 7 months ago
- L-Functions and Modular Forms Database☆272Updated this week
- 🚀 Sum of the primes below x☆38Updated 3 years ago
- Ongoing Lean formalisation of the proof of Fermat's Last Theorem☆480Updated this week
- Bosphorus, ANF simplifier and solver, and ANF-to-CNF converter☆73Updated 2 months ago
- Givaro - C++ library for arithmetic and algebraic computations☆51Updated 3 months ago
- Polynomial Matrix Library. Additions to NTL and FLINT libraries, with a focus on univariate polynomial matrices, structured matrices, and…☆19Updated last week
- Public repository for Abstact Algebra Theory and Applications☆170Updated last month
- A field-theory motivated approach to computer algebra.☆245Updated this week
- M4GB: Efficient Groebner Basis algorithm☆55Updated 6 years ago
- Scientific computing in Lean 4☆411Updated 2 weeks ago
- Formal proof of the Four Color Theorem [maintainer=@ybertot]☆210Updated last week