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
Sorting:
- Arpra is a C library for analyzing the propagation of numerical error in arbitrary precision IEEE-754 floating-point computations.☆24Updated 2 years ago
- 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
- Cryptoleq: A Heterogeneous Abstract Machine for Encrypted and Unencrypted Computation.☆30Updated 8 months ago
- Interesting ATP Proofs☆13Updated 3 years ago
- Cayley Dickson algebra implementation in python☆12Updated 6 years ago
- Literate Programming in C/C++☆32Updated 2 weeks ago
- Metamath program - source code for the Metamath executable☆81Updated this week
- Material for PARI/GP: new functions, some scripts, and syntax highlighting.☆11Updated last year
- metamath proof enumerators and other things☆93Updated 9 months ago
- Program Round-off Error Certifier via Static Analysis☆51Updated 7 months ago
- Metamath verifier in Python☆38Updated last year
- A compiler for BLOG probabilistic programming language☆26Updated 7 years ago
- Modification to Coq to record intermediate proof states encountered during a proof☆8Updated 6 years ago
- ☆19Updated 8 years ago
- Geometric Algebra using wxMaxima (GAwxM)☆13Updated last month
- Program Generator for Small-Scale Linear Algebra Applications☆29Updated 6 years ago
- Python term rewriting☆29Updated 12 years ago
- This repository contains the Core and Extended source files of the Standard Library of the SaC programming language☆14Updated this week
- Source of metamath book☆48Updated last year
- 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
- Few people use Forth. But this might be useful if you want to!☆34Updated 6 years ago
- Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆81Updated last year
- Simple, orthogonal 32-bit computer architecture and environment☆28Updated last year
- Binary lambda calculus☆10Updated 7 years ago
- A standard for floating point accuracy benchmarks☆49Updated 2 months ago
- Polyhedral Compilation tool for High Level Synthesis.☆10Updated 11 years ago
- 🚀 Sum of the primes below x☆38Updated 2 years ago
- LiDIA --- A library for computational number theory, developed 1994-2004 by Johannes Buchmann's group at TU Darmstadt, relicensed to GPL …☆30Updated 2 weeks ago
- Library for exact real number computations☆39Updated 10 years ago