dylanpeifer / deepgroebner
Applications of reinforcement learning to Groebner basis computation.
☆11Updated 3 years ago
Alternatives and similar repositories for deepgroebner:
Users that are interested in deepgroebner are comparing it to the libraries listed below
- Groebner bases in (almost) pure Julia☆66Updated last week
- An efficient symbolic term rewriting engine☆77Updated 4 years ago
- ☆28Updated 3 years ago
- ☆21Updated last month
- ☆31Updated 2 months ago
- Generic abstract algebra functionality in pure Julia (no C dependencies)☆55Updated 2 years ago
- Exact real arithmetic in Julia☆13Updated 4 years ago
- Julia package for the Singular library☆35Updated this week
- non-extensible/hardcoded pattern matching, core of MLStyle☆16Updated 3 years ago
- Functions for declaring and working with grammars and expression trees in Julia.☆25Updated 11 months ago
- Distributed Data Parallel Training of Deep Neural Networks☆57Updated 11 months ago
- Algorithms for optimization of Julia expressions☆45Updated 4 months ago
- Online inference on reactive probabilistic models, with SMC and symbolic methods☆15Updated last year
- An experimental implementation of sum-product networks with dense unitary transformations in leaves☆13Updated 2 years ago
- Probabilistic Circuits in Julia☆9Updated last year
- for you with the good questions☆26Updated 3 years ago
- Differentiate python calls from Julia☆56Updated 2 years ago
- A differentiable parametrization of a group of unitary matrices.☆14Updated 3 years ago
- Like a kick in the monads☆42Updated 2 years ago
- Experiments with variational autoencoders in Julia☆16Updated 5 years ago
- Learning Algebraic Varieties from Samples☆24Updated last year
- A Julia library for automated deduction in Euclidean geometry.☆20Updated 2 years ago
- "Maybe we have our own magic."☆47Updated 4 years ago
- Tangent bundle, vector space and Submanifold definition☆50Updated last month
- Yet Another Source to Source Automatic Differentiation☆26Updated 5 years ago
- introduction to dataflow analysis using julia☆14Updated 4 years ago
- Differentiable matrix factorizations using ImplicitDifferentiation.jl.☆30Updated last year
- Common interface for symbolic terms, allowing symbolic libraries with different underlying structures to interact and convert☆37Updated last month
- The Code Tracer☆48Updated 3 years ago
- Library for causal and probabilistic inference in Julia☆11Updated this week