jakobmoosbauer / flips
☆11Updated last year
Alternatives and similar repositories for flips:
Users that are interested in flips are comparing it to the libraries listed below
- ☆30Updated this week
- Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆61Updated last year
- ☆21Updated last year
- materials available to the public☆24Updated 2 months ago
- Basic Polynomial Algebra Subprograms☆15Updated 3 years ago
- Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆81Updated last year
- Custom-Precision Floating-point numbers.☆30Updated last month
- 🚀 Sum of the primes below x☆37Updated 2 years ago
- LinBox - C++ library for exact, high-performance linear algebra☆85Updated last week
- Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.☆44Updated 2 weeks ago
- MathLib is a versatile C++ library that provides a wide range of mathematical algorithms and functions, including but not limited to tran…☆11Updated last year
- Arpra is a C library for analyzing the propagation of numerical error in arbitrary precision IEEE-754 floating-point computations.☆23Updated 2 years ago
- configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se…☆41Updated last year
- Classification of combinatorial objects☆16Updated last week
- reduce-algebra: a portable general-purpose computer algebra system, automatically mirrored from https://svn.code.sf.net/p/reduce-algebra/…☆38Updated this week
- Python bindings for egg☆46Updated 2 years ago
- Recursive LAPACK Collection☆42Updated 2 years ago
- The formal proof of the Odd Order Theorem☆30Updated this week
- Analytic tableau based minimal model generator, model checker and theorem prover for first-order logic with modal extensions☆19Updated 2 months ago
- TTG: Template Task Graph C++ API☆18Updated last week
- Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.☆32Updated 3 years ago
- LPTP: A Logic Program Theorem Prover, written by Robert F. Staerk in the mid 90's☆10Updated last year
- Sorting with Singeli☆11Updated 2 months ago
- A Tensor Language☆56Updated 3 years ago
- Metamath program - source code for the Metamath executable☆81Updated 6 months ago
- Python interface to GAP☆15Updated 8 months ago
- FFLAS-FFPACK - Finite Field Linear Algebra Subroutines / Package☆57Updated last week
- Code generation tool to generate mathematical libraries☆55Updated 11 months ago
- ☆21Updated 2 months ago
- Linnea is an experimental tool for the automatic generation of optimized code for linear algebra problems.☆68Updated 3 years ago