clsn / riesLinks
Robert Munafo's reverse equation solver
☆18Updated 2 years ago
Alternatives and similar repositories for ries
Users that are interested in ries are comparing it to the libraries listed below
Sorting:
- Jupyter Kernel for Mathics☆20Updated 9 years ago
- Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.☆34Updated 4 years ago
- Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆82Updated 2 years ago
- GluCat: Clifford algebra templates☆22Updated 9 months ago
- Challenging SAT benchmarks for matrix multiplication☆11Updated 4 years ago
- knot theory and computational algebra software☆38Updated 11 years ago
- Python term rewriting☆30Updated 12 years ago
- A Binder repo for SageMath computing environment☆33Updated this week
- Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆62Updated 2 years ago
- Fungrim: the Mathematical Functions Grimoire☆123Updated 3 years ago
- Tokenizer, and operator and character tables, and conversion routines for the Wolfram Language.☆22Updated 3 months ago
- A library for disassembling x86-64 binaries.☆44Updated 7 months ago
- Buchbergers algorithm for computing Groebner basis of polynonmial ideals☆13Updated 2 years ago
- LODA is an assembly language, a computational model and a tool for mining integer sequence programs.☆21Updated 4 years ago
- Theorema: A System for Automated Reasoning (Theorem Proving) and Automated Theory Exploration based on Mathematica☆74Updated 4 years ago
- A software package for algebraic, geometric and combinatorial problems on linear spaces. By R. Hemmecke, R. Hemmecke, M. Köppe, P. Malkin…☆44Updated 3 weeks ago
- metamath proof enumerators and other things☆92Updated last month
- SAT instance generator for SHA-1☆49Updated 4 years ago
- Metamath verifier in Python☆40Updated 6 months ago
- LODA Programs for Integer Sequences☆37Updated this week
- A Mathematica package for generating symbolic models from data☆48Updated 3 years ago
- FFLAS-FFPACK - Finite Field Linear Algebra Subroutines / Package☆63Updated 3 months ago
- Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.☆48Updated last week
- Deposited packages of the homalg project☆16Updated 3 weeks ago
- Encyclopedia of Combinatorial Structures☆15Updated 7 years ago
- Superoptimizer using the z3 SMT solver☆17Updated last month
- Data files containing the Cremona Database of all elliptic curves over Q of bounded conductor: see also http://www.lmfdb.org/EllipticCurv…☆21Updated last year
- Library for exact real number computations☆40Updated 10 years ago
- some maths papers in English☆19Updated last month
- Sigmoid Numbers backed by IEEE Floats☆17Updated 8 years ago