dylanpeifer / deepgroebnerLinks
Applications of reinforcement learning to Groebner basis computation.
☆12Updated 3 years ago
Alternatives and similar repositories for deepgroebner
Users that are interested in deepgroebner are comparing it to the libraries listed below
Sorting:
- Convex optimization modeling in Lean 4☆46Updated last year
- Groebner bases in (almost) pure Julia☆69Updated 3 weeks ago
- List of Treewidth solvers, instances, and tools☆35Updated 2 years ago
- Online inference on reactive probabilistic models, with SMC and symbolic methods☆16Updated 2 years ago
- Cone program refinement☆10Updated 5 years ago
- Learning Algebraic Varieties from Samples☆24Updated last year
- Extension of MultivariatePolynomials to moments of multivariate measures☆13Updated last month
- ☆52Updated 3 weeks ago
- Experiments with variational autoencoders in Julia☆16Updated 5 years ago
- Julia package for the Singular library☆34Updated this week
- ☆31Updated 2 weeks ago
- ☆28Updated 3 years ago
- A Julia library for automated deduction in Euclidean geometry.☆23Updated 2 years ago
- Julia wrapper for the Spot LTL and automata manipulation library☆17Updated 11 months ago
- Exact real arithmetic in Julia☆13Updated 5 years ago
- Probabilistic programming system for fast and exact symbolic inference☆79Updated 10 months ago
- Constrained LUmping of differential Equations☆13Updated 8 months ago
- Discrete differential geometry on simplicial complexes☆26Updated 5 years ago
- MDP and RL interface for PDDL domains via PDDL.jl + POMDPs.jl.☆16Updated 11 months ago
- Julia interface to Z3☆63Updated 5 months ago
- A Julia wrapper for the OpenSpiel project☆12Updated 9 months ago
- Conservative floating point interval arithmetic in Lean☆16Updated last month
- LattE integrale, software for counting lattice points and integration over convex polytopes☆48Updated last month
- Reachability analysis for closed-loop control systems in Julia☆46Updated last month
- Common interface for symbolic terms, allowing symbolic libraries with different underlying structures to interact and convert☆38Updated 6 months ago
- ☆36Updated 6 months ago
- Julia library providing functionality for modeling Simplicial Complexes and Cochains over them. Its main feature is a clean interface to …☆18Updated 4 months ago
- A tool for proving and organizing general theorems using Python.☆28Updated this week
- introduction to dataflow analysis using julia☆14Updated 4 years ago
- Bayesian inference on wiring diagrams.☆18Updated last year