clsn / riesLinks
Robert Munafo's reverse equation solver
☆19Updated 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
- Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆62Updated 2 years ago
- Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆82Updated 2 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
- Swing, divide and conquer the factorial!☆81Updated 3 years ago
- A Mathematica package for generating symbolic models from data☆48Updated 3 years ago
- Challenging SAT benchmarks for matrix multiplication☆11Updated 4 years ago
- Tokenizer, and operator and character tables, and conversion routines for the Wolfram Language.☆23Updated last week
- Source of metamath book☆53Updated 2 years ago
- Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.☆50Updated this week
- Python term rewriting☆30Updated 12 years ago
- A Binder repo for SageMath computing environment☆37Updated this week
- PRolog Equation Solving System☆29Updated 9 years ago
- 🚀 Sum of the primes below x☆39Updated 3 years ago
- Deposited packages of the homalg project☆17Updated last month
- Fungrim: the Mathematical Functions Grimoire☆124Updated 3 years ago
- More SageMath Tutorials: A place to share and evolve tutorials for Sage, with the aim to contribute them to Sage☆31Updated 2 years ago
- knot theory and computational algebra software☆38Updated 11 years ago
- Compiler Technologies for Mathematica/Wolfram Language.☆36Updated 5 years ago
- bddem is a SWI-Prolog pack for using Binary Decision Diagrams☆11Updated 5 months ago
- Metamath verifier in Python☆40Updated 7 months ago
- A software package for algebraic, geometric and combinatorial problems on linear spaces. By R. Hemmecke, R. Hemmecke, M. Köppe, P. Malkin…☆46Updated 2 months ago
- Julia Implementation of Unums☆42Updated 8 years ago
- Python implementation of the monster group☆57Updated 3 weeks ago
- IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.☆76Updated 2 years ago
- Debugger in the Trepan family for x-python☆17Updated 3 months ago
- The axiom profiler for exploring and visualizing SMT solver quantifier instantiations (made via E-matching).☆32Updated 11 months ago
- Java implementations of sequences in the OEIS☆68Updated last week
- Metamath program - source code for the Metamath executable☆91Updated 2 months ago
- Locate local installations of the Wolfram Language.☆18Updated 11 months ago