linas / anantLinks
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:
- Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆61Updated 2 years ago
- Arpra is a C library for analyzing the propagation of numerical error in arbitrary precision IEEE-754 floating-point computations.☆25Updated 2 years ago
- Computational effort to upper bound the de Bruijn-Newman constant as part of a Polymath project☆13Updated last year
- Givaro - C++ library for arithmetic and algebraic computations☆51Updated 2 months ago
- Java implementations of sequences in the OEIS☆63Updated this week
- Spherogram is a Python module for dealing with the kind of planar diagrams that arise in 3-dimensional topology, such as link and Heegaar…☆21Updated this week
- Library for exact real number computations☆40Updated 10 years ago
- Fast combinatorics in C++ using SSE/AVX instruction sets☆16Updated 2 months 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 4 years ago
- Sources of Java version of SURFER (which uses JavaFX 1.3.1)☆32Updated 7 years ago
- Metamath verifier in Python☆39Updated last year
- GluCat: Clifford algebra templates☆20Updated 2 months ago
- This repository contains the Core and Extended source files of the Standard Library of the SaC programming language☆14Updated last week
- A Small Combinator-Reduction System☆15Updated 4 years ago
- Interesting ATP Proofs☆13Updated 3 years ago
- LODA is an assembly language, a computational model and a tool for mining integer sequence programs.☆21Updated 3 years ago
- Geometric Algebra using wxMaxima (GAwxM)☆13Updated 2 months ago
- My copy of FLINT -- please use https://github.com/flintlib/flint/ for development☆82Updated last week
- ☆19Updated 8 years ago
- LibPoly is a C library for manipulating polynomials☆50Updated last month
- ☆19Updated 2 years ago
- Operations with matrices, SWI pack☆13Updated last year
- Sigmoid Numbers backed by IEEE Floats☆17Updated 7 years ago
- reduce-algebra: a portable general-purpose computer algebra system, automatically mirrored from https://svn.code.sf.net/p/reduce-algebra/…☆40Updated this week
- Program Generator for Small-Scale Linear Algebra Applications☆29Updated 6 years ago
- 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
- Literate Programming in C/C++☆33Updated last month
- OpenAxiom: Platform for Symbolic, Algebraic, and Numeric Computations☆25Updated 9 months ago
- ☆15Updated 11 years ago