linas / anantLinks
Analytic Number Theory high-precision GnuMP routines
☆20Updated last year
Alternatives and similar repositories for anant
Users that are interested in anant are comparing it to the libraries listed below
Sorting:
- Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆61Updated 2 years ago
- Givaro - C++ library for arithmetic and algebraic computations☆53Updated 3 months ago
- metamath proof enumerators and other things☆92Updated 3 weeks ago
- My copy of FLINT -- please use https://github.com/flintlib/flint/ for development☆82Updated this week
- Metamath program - source code for the Metamath executable☆89Updated last week
- Python implementation of the monster group☆55Updated last week
- Literate Programming in C/C++☆37Updated 3 weeks ago
- reduce-algebra: a portable general-purpose computer algebra system, automatically mirrored from https://svn.code.sf.net/p/reduce-algebra/…☆42Updated this week
- Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆82Updated 2 years ago
- FFLAS-FFPACK - Finite Field Linear Algebra Subroutines / Package☆63Updated 3 months ago
- Cayley Dickson algebra implementation in python☆12Updated 6 years ago
- Automatically exported from code.google.com/p/atlasofliegroups☆32Updated this week
- A software package for algebraic, geometric and combinatorial problems on linear spaces. By R. Hemmecke, R. Hemmecke, M. Köppe, P. Malkin…☆44Updated 2 weeks ago
- Java implementations of sequences in the OEIS☆68Updated this week
- Material for PARI/GP: new functions, some scripts, and syntax highlighting.☆11Updated 2 years ago
- Elliptic functions for Matlab and Octave☆14Updated 5 months ago
- Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.☆16Updated 7 years ago
- Interesting ATP Proofs☆13Updated 4 years ago
- knot theory and computational algebra software☆38Updated 11 years ago
- Source of metamath book☆51Updated last year
- Arpra is a C library for analyzing the propagation of numerical error in arbitrary precision IEEE-754 floating-point computations.☆25Updated 3 years ago
- 🚀 Sum of the primes below x☆39Updated 3 years ago
- LPTP: A Logic Program Theorem Prover, written by Robert F. Staerk in the mid 1990's☆14Updated 3 months ago
- ☆17Updated this week
- FLINT (Fast Library for Number Theory)☆541Updated last week
- Official repository of the FriCAS computer algebra system☆361Updated last month
- ☆30Updated 7 years ago
- Metamath verifier in Python☆40Updated 6 months ago
- Modifications of Niles Johnson's Hopf Fibration drawing code☆38Updated 11 years ago
- C++ library for semigroups and monoids☆63Updated this week