linas / anantLinks
Analytic Number Theory high-precision GnuMP routines
☆19Updated 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☆51Updated 5 months ago
- reduce-algebra: a portable general-purpose computer algebra system, automatically mirrored from https://svn.code.sf.net/p/reduce-algebra/…☆41Updated last week
- Literate Programming in C/C++☆35Updated last month
- My copy of FLINT -- please use https://github.com/flintlib/flint/ for development☆82Updated this week
- Metamath program - source code for the Metamath executable☆84Updated last month
- Arpra is a C library for analyzing the propagation of numerical error in arbitrary precision IEEE-754 floating-point computations.☆25Updated 2 years ago
- Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆81Updated last year
- FFLAS-FFPACK - Finite Field Linear Algebra Subroutines / Package☆62Updated last month
- metamath proof enumerators and other things☆94Updated last year
- Specification of Quil: A Practical Quantum Instruction Set Architecture☆119Updated 3 weeks ago
- Modifications of Niles Johnson's Hopf Fibration drawing code☆36Updated 10 years ago
- yorick interpreted language☆83Updated 4 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
- Julia Implementation of Unums☆42Updated 8 years ago
- The Aldor Programming Language☆35Updated 6 months ago
- Source of metamath book☆49Updated last year
- MMIX 2009 – a RISC computer for the third millennium☆43Updated this week
- ☆30Updated 7 years ago
- The primary source code repository for PHCpack, a software package to solve polynomial systems with homotopy continuation methods.☆69Updated this week
- knot theory and computational algebra software☆37Updated 11 years ago
- Cayley Dickson algebra implementation in python☆12Updated 6 years ago
- GNAT-AUX / GCC-AUX / Draco Ada compiler development☆17Updated last month
- Packages for the Maxima computer algebra system, contributed by users☆56Updated 2 weeks ago
- Metamath verifier in Python☆40Updated 2 months ago
- Literate Programming in C/C++☆93Updated last month
- Official repository of the FriCAS computer algebra system☆345Updated 3 weeks ago
- ☆57Updated 8 years ago
- LinBox - C++ library for exact, high-performance linear algebra☆94Updated 3 weeks ago
- Kali is Kelsey and Rees's distributed Scheme implementation based on Scheme48☆38Updated 13 years ago