linas / anantLinks
Analytic Number Theory high-precision GnuMP routines
☆20Updated 2 years ago
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☆62Updated 2 years ago
- Metamath program - source code for the Metamath executable☆94Updated 2 months ago
- Givaro - C++ library for arithmetic and algebraic computations☆53Updated 4 months ago
- My copy of FLINT -- please use https://github.com/flintlib/flint/ for development☆82Updated last week
- Java implementations of sequences in the OEIS☆70Updated this week
- metamath proof enumerators and other things☆92Updated 2 months ago
- yorick interpreted language☆83Updated 10 months ago
- Python implementation of the monster group☆57Updated last month
- 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 4 months ago
- Material for PARI/GP: new functions, some scripts, and syntax highlighting.☆11Updated 2 years ago
- FLINT (Fast Library for Number Theory)☆559Updated last week
- Literate Programming in C/C++☆37Updated this week
- Arbitrary precision integer and rational arithmetic library☆152Updated 2 months ago
- Source of metamath book☆55Updated 2 years ago
- Arpra is a C library for analyzing the propagation of numerical error in arbitrary precision IEEE-754 floating-point computations.☆25Updated 3 years ago
- Modifications of Niles Johnson's Hopf Fibration drawing code☆38Updated 11 years ago
- Library for exact real number computations☆40Updated 10 years ago
- Sources of Java version of SURFER (which uses JavaFX 1.3.1)☆33Updated 7 years ago
- reduce-algebra: a portable general-purpose computer algebra system, automatically mirrored from https://svn.code.sf.net/p/reduce-algebra/…☆43Updated last week
- sources for the Singular computer algebra system☆298Updated 3 weeks ago
- knot theory and computational algebra software☆38Updated 11 years ago
- Elliptic functions for Matlab and Octave☆14Updated 7 months ago
- Geometric Algebra using wxMaxima (GAwxM)☆13Updated 3 months ago
- Specification of Quil: A Practical Quantum Instruction Set Architecture☆124Updated 3 months ago
- Programming language for symbolic computation with unusual combination of pattern matching features: Tree patterns, associative patterns…☆49Updated this week
- ☆18Updated 2 months ago
- mmj2 GUI Proof Assistant for the Metamath project☆77Updated last year
- Algorithmic Information Theory, using Binary Lambda Calculus☆197Updated this week
- LiDIA --- A library for computational number theory, developed 1994-2004 by Johannes Buchmann's group at TU Darmstadt, relicensed to GPL …☆30Updated 9 months ago