dylanpeifer / deepgroebnerLinks
Applications of reinforcement learning to Groebner basis computation.
☆13Updated 4 years ago
Alternatives and similar repositories for deepgroebner
Users that are interested in deepgroebner are comparing it to the libraries listed below
Sorting:
- The Juice package for circuits in artificial intelligence, both logic and probabilistic☆12Updated 3 years ago
- Experiments with variational autoencoders in Julia☆17Updated 6 years ago
- Groebner bases in (almost) pure Julia☆72Updated last week
- Discrete differential geometry on simplicial complexes☆26Updated 5 years ago
- Constrained LUmping of differential Equations☆13Updated last year
- The fastest tropical matrix multiplication in the world!☆31Updated last year
- Julia package for the Singular library☆35Updated this week
- Learning Algebraic Varieties from Samples☆24Updated last year
- Julia interface to Z3☆70Updated 2 months ago
- Convex optimization modeling in Lean 4☆55Updated last year
- ☆28Updated 3 years ago
- An efficient symbolic term rewriting engine☆78Updated 4 years ago
- A Julia library for automated deduction in Euclidean geometry.☆24Updated 3 years ago
- Exact real arithmetic in Julia☆13Updated 5 years ago
- The Yao compiler project☆21Updated 3 years ago
- A framework for composing and simulating multiphysics systems☆73Updated last month
- Specify satisfiability modulo theories problems in Julia and use the SMT-LIB format to interact with SMT solvers.☆50Updated last month
- Tensor algebra abstract type interoperability setup☆44Updated last month
- Generic abstract algebra functionality in pure Julia (no C dependencies)☆55Updated 3 years ago
- "Maybe we have our own magic."☆47Updated 5 years ago
- Common interface for symbolic terms, allowing symbolic libraries with different underlying structures to interact and convert☆40Updated last month
- ☆38Updated 2 months ago
- Extension of MultivariatePolynomials to semialgebraic sets☆22Updated last year
- Implicit Layer Machine Learning via Deep Equilibrium Networks, O(1) backpropagation with accelerated convergence.☆57Updated 2 months ago
- Julia implementation of stochastic optimization algorithms for large-scale optimal transport.☆18Updated 4 years ago
- Semidefinite programming optimization solver☆96Updated 4 months ago
- Model and represent Simplicial Complexes and their Cochains. Provides a clean interface to calculate Betti numbers and (discrete) Hodge d…☆18Updated 8 months ago
- ☆47Updated 4 years ago
- ☆33Updated last month
- Why multiple dispatch lets you write composable code☆40Updated 5 years ago