linas / anant
Analytic Number Theory high-precision GnuMP routines
☆17Updated last year
Alternatives and similar repositories for anant:
Users that are interested in anant are comparing it to the libraries listed below
- 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 last month
- Source of metamath book☆48Updated last year
- knot theory and computational algebra software☆37Updated 10 years ago
- Metamath program - source code for the Metamath executable☆81Updated 8 months ago
- Material for PARI/GP: new functions, some scripts, and syntax highlighting.☆11Updated last year
- LODA is an assembly language, a computational model and a tool for mining integer sequence programs.☆21Updated 3 years ago
- LPTP: A Logic Program Theorem Prover, written by Robert F. Staerk in the mid 90's☆11Updated last year
- C++ implementation of the preliminary IEEE P1788 standard for interval arithmetic☆47Updated 9 years ago
- metamath proof enumerators and other things☆92Updated 9 months ago
- Library for exact real number computations☆39Updated 10 years ago
- Geometric Algebra using wxMaxima (GAwxM)☆13Updated 3 weeks ago
- Arpra is a C library for analyzing the propagation of numerical error in arbitrary precision IEEE-754 floating-point computations.☆23Updated 2 years ago
- A compiler for BLOG probabilistic programming language☆26Updated 7 years ago
- Reason about Term Rewriting Systems☆16Updated 2 years ago
- Python bindings for libNVVM☆37Updated 11 years ago
- ☆19Updated 2 years ago
- FFLAS-FFPACK - Finite Field Linear Algebra Subroutines / Package☆59Updated 2 months ago
- Sigmoid Numbers backed by IEEE Floats☆17Updated 7 years ago
- ☆38Updated last year
- Literate Programming in C/C++☆31Updated last week
- Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆81Updated last year
- 🚀 Sum of the primes below x☆37Updated 2 years ago
- ☆15Updated 11 years ago
- Modeling and Programming with Gecode☆45Updated 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
- Program Round-off Error Certifier via Static Analysis☆51Updated 7 months ago
- Program Generator for Small-Scale Linear Algebra Applications☆29Updated 6 years ago
- NaDeA (Natural Deduction Assistant) - With a Formalization in Isabelle☆16Updated 2 years ago
- ☆54Updated 8 years ago