flintlib / flint
FLINT (Fast Library for Number Theory)
☆479Updated this week
Alternatives and similar repositories for flint:
Users that are interested in flint are comparing it to the libraries listed below
- Arb has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆461Updated last year
- The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.☆359Updated this week
- My copy of FLINT -- please use https://github.com/flintlib/flint/ for development☆82Updated 3 weeks ago
- sources for the Singular computer algebra system☆273Updated this week
- Library for Polynomial System Solving through Algebraic Methods☆121Updated last week
- ☆281Updated last year
- Lattice algorithms using floating-point arithmetic☆340Updated 4 months ago
- ☆30Updated 2 weeks ago
- Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆61Updated 2 years ago
- Python bindings for Flint and Arb☆135Updated this week
- 🚀 Sum of the primes below x☆37Updated 2 years ago
- Official repository of the FriCAS computer algebra system☆325Updated last week
- Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆81Updated last year
- Multiple Precision Integers and Rationals☆231Updated 3 months ago
- FFLAS-FFPACK - Finite Field Linear Algebra Subroutines / Package☆57Updated last month
- M4GB: Efficient Groebner Basis algorithm☆55Updated 6 years ago
- Formal proof of the Four Color Theorem [maintainer=@ybertot]☆199Updated 3 weeks ago
- Source code for the nLab☆170Updated this week
- Python interface to the number theory library PARI/GP. Source repository for https://pypi.org/project/cypari2/☆30Updated 2 months ago
- Rubi for Mathematica☆244Updated last year
- M4RI is a library for fast arithmetic with dense matrices over GF(2)☆65Updated last month
- amateur translation project of Grothendieck's EGA.☆341Updated 5 months ago
- Mathematical Components☆605Updated last week
- Metamath program - source code for the Metamath executable☆83Updated 7 months ago
- Λ ⚬ λ: Functional Lattice Cryptography☆230Updated 3 years ago
- Main development repository for GAP - Groups, Algorithms, Programming, a System for Computational Discrete Algebra☆850Updated this week
- The extensible drawing editor Ipe☆200Updated last year
- A field-theory motivated approach to computer algebra.☆237Updated this week
- Scientific computing in Lean 4☆375Updated this week
- Bosphorus, ANF simplifier and solver, and ANF-to-CNF converter☆68Updated 4 months ago