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
- Givaro - C++ library for arithmetic and algebraic computations☆51Updated 3 months 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
- FFLAS-FFPACK - Finite Field Linear Algebra Subroutines / Package☆62Updated last week
- knot theory and computational algebra software☆37Updated 11 years ago
- Computational effort to upper bound the de Bruijn-Newman constant as part of a Polymath project☆13Updated last year
- 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 3 weeks 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
- Material for PARI/GP: new functions, some scripts, and syntax highlighting.☆11Updated last year
- ☆13Updated last year
- Deposited packages of the homalg project☆15Updated last month
- Visualize subsets of PSL(2,R) in exterior solid torus model☆12Updated 4 years ago
- Interesting ATP Proofs☆13Updated 3 years ago
- A compiler for BLOG probabilistic programming language☆26Updated 7 years ago
- ☆15Updated 11 years ago
- metamath proof enumerators and other things☆94Updated 11 months ago
- Cayley Dickson algebra implementation in python☆12Updated 6 years ago
- Superoptimizer using the z3 SMT solver☆17Updated 4 years ago
- Modification to Coq to record intermediate proof states encountered during a proof☆8Updated 6 years ago
- Library for exact real number computations☆40Updated 10 years ago
- ☆19Updated 8 years ago
- LODA is an assembly language, a computational model and a tool for mining integer sequence programs.☆21Updated 3 years ago
- Sigmoid Numbers backed by IEEE Floats☆17Updated 7 years ago
- Python interface to the number theory library PARI/GP. Source repository for https://pypi.org/project/cypari2/☆29Updated last month
- Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.☆16Updated 7 years ago
- Modifications of Niles Johnson's Hopf Fibration drawing code☆34Updated 10 years ago
- A visual Mandelbrot set explorer written in J☆11Updated 4 years ago
- tokenizer and parser for circle projects☆11Updated 5 years ago
- An implementation of Fibonacci Anyons in Haskell☆22Updated 5 years ago
- Literate Programming in C/C++☆33Updated last month