nvcleemp / conjecturing
Adding conjecturing to Sage
☆13Updated last year
Related projects ⓘ
Alternatives and complementary repositories for conjecturing
- Spherogram is a Python module for dealing with the kind of planar diagrams that arise in 3-dimensional topology, such as link and Heegaar…☆20Updated 2 months ago
- Learning Algebraic Varieties from Samples☆24Updated 10 months ago
- Jupyter wrapper kernel for singular☆10Updated 5 months ago
- Deposited packages of the homalg project☆12Updated this week
- Metamath verifier in Python☆34Updated 7 months ago
- Modification to Coq to record intermediate proof states encountered during a proof☆7Updated 5 years ago
- Python code for computation and experimentation with cut-generating functions, in particular the Gomory-Johnson infinite group problem. B…☆12Updated 3 weeks ago
- Bayesian Nonparametric Mixture Models in Julia☆14Updated 7 years ago
- Generic API for dispatch to Pyro backends.☆16Updated 2 years ago
- A semantic Extension of TeX/LaTeX☆50Updated this week
- Julia wrapper around SWI Prolog☆13Updated 2 years ago
- ☆15Updated last year
- Learn Lean and topology☆20Updated last year
- DeepAlgebra☆25Updated 7 years ago
- ☆21Updated 2 years ago
- Call Julia code from Prolog☆28Updated 2 years ago
- A partial formalization of Geometric Algebra in the Lean formal proof verification system.☆50Updated last year
- Plain-text declaration export for Lean 4☆12Updated last month
- A Lean 4 Jupyter kernel via repl☆15Updated this week
- deep learning for math☆29Updated 5 years ago
- ☆27Updated 8 months ago
- Julia package for the Singular library☆20Updated 3 years ago
- Primary implementation of the Venture probabilistic programming system☆28Updated 5 years ago
- LattE integrale, software for counting lattice points and integration over convex polytopes☆39Updated last year
- A "git trac" subcommand for git☆13Updated 2 years ago
- Mirror of CSSR: An Algorithm for Building Markov Models from Time Series☆20Updated 5 years ago
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆20Updated last year
- Collection of clustering algorithms written in Ocaml☆18Updated 16 years ago
- Julia package for learning cellular sheaf Laplacians☆16Updated 3 years ago
- Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.☆43Updated 2 weeks ago