linas / anant
Analytic Number Theory high-precision GnuMP routines
☆15Updated 9 months ago
Related projects ⓘ
Alternatives and complementary repositories for anant
- Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆61Updated last year
- Givaro - C++ library for arithmetic and algebraic computations☆50Updated 6 months ago
- Sources of Java version of SURFER (which uses JavaFX 1.3.1)☆31Updated 6 years ago
- Continued fraction library☆27Updated 4 years ago
- knot theory and computational algebra software☆35Updated 10 years ago
- ☆15Updated 10 years ago
- Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆79Updated last year
- My copy of FLINT -- please use https://github.com/flintlib/flint/ for development☆82Updated last week
- FFLAS-FFPACK - Finite Field Linear Algebra Subroutines / Package☆57Updated 2 months ago
- Library for exact real number computations☆39Updated 9 years ago
- J Language Source Code. Livestream links ⬇️☆38Updated 2 years ago
- Literate Programming in C/C++☆28Updated this week
- Sigmoid Numbers backed by IEEE Floats☆16Updated 7 years ago
- Computational effort to upper bound the de Bruijn-Newman constant as part of a Polymath project☆13Updated last year
- reduce-algebra: a portable general-purpose computer algebra system, automatically mirrored from https://svn.code.sf.net/p/reduce-algebra/…☆36Updated this week
- Asserting algebraic properties of C functions☆10Updated this week
- Recursive LAPACK Collection☆42Updated 2 years ago
- Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.☆16Updated 6 years ago
- Basic Polynomial Algebra Subprograms☆15Updated 3 years ago
- RLibm for 32-bit representations (float and posit32)☆61Updated 3 years ago
- Source of metamath book☆45Updated 11 months ago
- A heuristic procedure for proving inequalities☆32Updated 6 years ago
- Metamath verifier in Python☆34Updated 7 months ago
- metamath proof enumerators and other things☆87Updated 3 months ago
- We compute the Brumer-Stark units and the polynomial required to generate the Hilbert class field of some real quadratic fields, as compu…☆32Updated 3 years ago
- A simple CAS written in C.☆10Updated 9 years ago
- Modifications of Niles Johnson's Hopf Fibration drawing code☆32Updated 10 years ago
- Metamath program - source code for the Metamath executable☆79Updated 3 months ago
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆32Updated 6 months ago
- Cayley Dickson algebra implementation in python☆12Updated 5 years ago