dylanpeifer / deepgroebnerLinks
Applications of reinforcement learning to Groebner basis computation.
☆12Updated 4 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☆47Updated last year
- Groebner bases in (almost) pure Julia☆70Updated last month
- Learning Algebraic Varieties from Samples☆24Updated last year
- LattE integrale, software for counting lattice points and integration over convex polytopes☆48Updated last month
- Julia package for the Singular library☆34Updated this week
- Library for causal and probabilistic inference in Julia☆11Updated 4 months ago
- The Juice package for circuits in artificial intelligence, both logic and probabilistic☆12Updated 3 years ago
- Online inference on reactive probabilistic models, with SMC and symbolic methods☆16Updated 2 years ago
- Generic abstract algebra functionality in pure Julia (no C dependencies)☆54Updated 3 years ago
- Probabilistic programming system for fast and exact symbolic inference☆80Updated 11 months ago
- Conservative floating point interval arithmetic in Lean☆17Updated this week
- introduction to dataflow analysis using julia☆14Updated 4 years ago
- Experiments with variational autoencoders in Julia☆17Updated 5 years ago
- ☆28Updated 3 years ago
- Common interface for symbolic terms, allowing symbolic libraries with different underlying structures to interact and convert☆38Updated 6 months ago
- Formalizing convex polyhedra in Coq☆24Updated 11 months ago
- ☆31Updated last week
- Constrained LUmping of differential Equations☆13Updated 9 months ago
- for you with the good questions☆26Updated 3 years ago
- Exact real arithmetic in Julia☆13Updated 5 years ago
- Implementation of Conway's Surreal Numbers☆38Updated 8 months ago
- non-extensible/hardcoded pattern matching, core of MLStyle☆16Updated 4 years ago
- Julia interface for the Blossom V perfect matching algorithm☆14Updated 4 years ago
- ☆14Updated 2 years ago
- ☆62Updated 4 months ago
- Probabilistic inference using contraction of tensor networks☆22Updated last month
- ☆37Updated 7 months ago
- ☆10Updated 9 months ago
- Materials for MIT class 6.S083 / 18.S190, fall 2019☆42Updated 5 years ago
- Interface for PyTorch's C++ backend, focusing on ATen, AutoGrad, and JIT☆23Updated 8 months ago