flintlib / flintLinks
FLINT (Fast Library for Number Theory)
☆532Updated 2 weeks ago
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☆469Updated last year
- ☆302Updated last year
- Library for Polynomial System Solving through Algebraic Methods☆160Updated 2 weeks ago
- The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.☆389Updated last week
- sources for the Singular computer algebra system☆289Updated last week
- Lattice algorithms using floating-point arithmetic☆371Updated 5 months ago
- Python bindings for Flint and Arb☆138Updated this week
- ☆37Updated 2 weeks ago
- Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆61Updated 2 years ago
- LiDIA --- A library for computational number theory, developed 1994-2004 by Johannes Buchmann's group at TU Darmstadt, relicensed to GPL …☆30Updated 5 months ago
- Multiple Precision Integers and Rationals☆238Updated 10 months ago
- Main development repository for GAP - Groups, Algorithms, Programming, a System for Computational Discrete Algebra☆905Updated last week
- Official repository of the FriCAS computer algebra system☆347Updated 2 months ago
- LinBox - C++ library for exact, high-performance linear algebra☆96Updated 3 weeks ago
- a Sparse Direct Solver modulo p☆28Updated 11 months ago
- FFLAS-FFPACK - Finite Field Linear Algebra Subroutines / Package☆63Updated 3 weeks ago
- Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆81Updated last year
- 🚀 Sum of the primes below x☆38Updated 3 years ago
- M4GB: Efficient Groebner Basis algorithm☆58Updated 6 years ago
- Rubi for Mathematica☆250Updated last year
- Python interface to the number theory library PARI/GP. Source repository for https://pypi.org/project/cypari2/☆29Updated 3 weeks ago
- A field-theory motivated approach to computer algebra.☆257Updated last week
- Lean 3 Theorem Prover (community fork)☆434Updated last year
- Givaro - C++ library for arithmetic and algebraic computations☆52Updated 3 weeks ago
- Polynomial Matrix Library. Additions to NTL and FLINT libraries, with a focus on univariate polynomial matrices, structured matrices, and…☆20Updated last week
- Library for Multiprecision Compile-Time and Run-Time Arithmetic (including Modular Arithmetic)☆122Updated last year
- Successor to PolyBoRi☆20Updated this week
- Bosphorus, ANF simplifier and solver, and ANF-to-CNF converter☆76Updated 6 months ago
- Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.☆48Updated last week
- An advanced SAT solver☆880Updated this week