flintlib / anticLinks
Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
☆61Updated 2 years ago
Alternatives and similar repositories for antic
Users that are interested in antic are comparing it to the libraries listed below
Sorting:
- A software package for algebraic, geometric and combinatorial problems on linear spaces. By R. Hemmecke, R. Hemmecke, M. Köppe, P. Malkin…☆42Updated 2 months ago
- Givaro - C++ library for arithmetic and algebraic computations☆52Updated 3 weeks ago
- LinBox - C++ library for exact, high-performance linear algebra☆96Updated 3 weeks ago
- FFLAS-FFPACK - Finite Field Linear Algebra Subroutines / Package☆63Updated 3 weeks ago
- Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆81Updated last year
- Successor to PolyBoRi☆20Updated 4 months ago
- Data files containing the Cremona Database of all elliptic curves over Q of bounded conductor: see also http://www.lmfdb.org/EllipticCurv…☆20Updated last year
- Arpra is a C library for analyzing the propagation of numerical error in arbitrary precision IEEE-754 floating-point computations.☆25Updated 2 years ago
- C++ library for semigroups and monoids☆63Updated this week
- Embedded algebraic number fields☆14Updated last month
- Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.☆48Updated 2 weeks ago
- Deposited packages of the homalg project☆16Updated 3 weeks ago
- Python bindings for Flint and Arb☆138Updated this week
- 🚀 Sum of the primes below x☆38Updated 3 years ago
- Algebra Number Theory book☆48Updated 3 years ago
- My copy of FLINT -- please use https://github.com/flintlib/flint/ for development☆82Updated 2 weeks 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…☆21Updated 2 months ago
- Pynac -- symbolic computation with Python objects, Sage Math support library --- Website:☆27Updated 4 years ago
- LiDIA --- A library for computational number theory, developed 1994-2004 by Johannes Buchmann's group at TU Darmstadt, relicensed to GPL …☆30Updated 5 months ago
- Jupyter Kernel for Mathics☆20Updated 8 years ago
- Fast combinatorics in C++ using SSE/AVX instruction sets☆17Updated 6 months ago
- Metamath program - source code for the Metamath executable☆86Updated 2 months ago
- knot theory and computational algebra software☆38Updated 11 years ago
- Python interface to the number theory library PARI/GP. Source repository for https://pypi.org/project/cypari2/☆29Updated 3 weeks ago
- sorear's Metamath system engine - version 3 Rust☆26Updated 2 years ago
- Methods for accelerating and proving theorems about 5-state Busy Beaver candidates☆20Updated 3 years ago
- sources for the Singular computer algebra system☆289Updated this week
- Proof assistant for qRHL☆22Updated last month
- Coq library of arbitrarily large numbers, providing BigN, BigZ, BigQ that used to be part of the standard library [maintainers=@proux01,@…☆25Updated 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