flintlib / flintLinks
FLINT (Fast Library for Number Theory)
☆548Updated 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☆472Updated last year
- The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.☆400Updated last week
- Library for Polynomial System Solving through Algebraic Methods☆166Updated last week
- ☆316Updated last month
- sources for the Singular computer algebra system☆295Updated last week
- Main development repository for GAP - Groups, Algorithms, Programming, a System for Computational Discrete Algebra☆929Updated last week
- Lattice algorithms using floating-point arithmetic☆387Updated 2 months ago
- Python bindings for Flint and Arb☆141Updated 2 weeks ago
- ☆37Updated last month
- Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆62Updated 2 years ago
- LinBox - C++ library for exact, high-performance linear algebra☆97Updated 2 months ago
- Multiple Precision Integers and Rationals☆239Updated last year
- 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
- 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
- Official repository of the FriCAS computer algebra system☆364Updated this week
- FFLAS-FFPACK - Finite Field Linear Algebra Subroutines / Package☆63Updated 3 months ago
- 🚀 Sum of the primes below x☆39Updated 3 years ago
- M4GB: Efficient Groebner Basis algorithm☆71Updated 7 years ago
- An advanced SAT solver☆904Updated this week
- Rubi for Mathematica☆251Updated last year
- Polynomial Matrix Library. Additions to NTL and FLINT libraries, with a focus on univariate polynomial matrices, structured matrices, and…☆20Updated last week
- Metamath program - source code for the Metamath executable☆90Updated 3 weeks ago
- Library for Multiprecision Compile-Time and Run-Time Arithmetic (including Modular Arithmetic)☆124Updated last year
- A performant NumPy extension for Galois fields and their applications☆445Updated last week
- Bosphorus, ANF simplifier and solver, and ANF-to-CNF converter☆76Updated 8 months ago
- C++ library for Fast Fourier Transforms in finite fields☆100Updated 4 years ago
- Successor to PolyBoRi☆21Updated 2 months ago
- Lean 3 Theorem Prover (community fork)☆433Updated 2 years ago
- L-Functions and Modular Forms Database☆277Updated last week