linas / anant
Analytic Number Theory high-precision GnuMP routines
☆16Updated 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
- 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
- Arpra is a C library for analyzing the propagation of numerical error in arbitrary precision IEEE-754 floating-point computations.☆23Updated 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 7 months ago
- Library for exact real number computations☆39Updated 9 years ago
- Program Generator for Small-Scale Linear Algebra Applications☆29Updated 6 years ago
- Spherogram is a Python module for dealing with the kind of planar diagrams that arise in 3-dimensional topology, such as link and Heegaar…☆19Updated 2 months ago
- Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆81Updated last year
- Metamath program - source code for the Metamath executable☆83Updated 7 months ago
- reduce-algebra: a portable general-purpose computer algebra system, automatically mirrored from https://svn.code.sf.net/p/reduce-algebra/…☆38Updated this week
- knot theory and computational algebra software☆37Updated 10 years ago
- Binary tools: assembler, disassembler, linker, library manager, emulator☆60Updated 2 months ago
- Literate Programming in C/C++☆30Updated last week
- ☆19Updated 2 years ago
- My copy of FLINT -- please use https://github.com/flintlib/flint/ for development☆82Updated 3 weeks ago
- This repository contains the Core and Extended source files of the Standard Library of the SaC programming language☆14Updated 2 weeks ago
- C++ implementation of the preliminary IEEE P1788 standard for interval arithmetic☆47Updated 9 years ago
- Interesting ATP Proofs☆13Updated 3 years ago
- Metamath verifier in Python☆38Updated 11 months ago
- Source of metamath book☆48Updated last year
- A mirror of the CRLibm project from INRIA Forge☆46Updated 4 years ago
- Continued fraction library☆29Updated 4 years ago
- ☆54Updated 8 years ago
- Tokenizer, and operator and character tables, and conversion routines for the Wolfram Language.☆20Updated last month
- Arbitrary precision integer and rational arithmetic library☆139Updated this week
- ☆37Updated 11 months ago
- Purely local graph rewrite system for the SKI combinator calculus, in chemlambda style.☆18Updated last year
- 🚀 Sum of the primes below x☆37Updated 2 years ago