Applications of reinforcement learning to Groebner basis computation.
☆15Jun 13, 2021Updated 4 years ago
Alternatives and similar repositories for deepgroebner
Users that are interested in deepgroebner are comparing it to the libraries listed below
Sorting:
- Parallel Groebner Basis Computation☆25May 8, 2023Updated 2 years ago
- F4 algorithm C++ library (groebner basis computations over finite fields)☆13Apr 6, 2018Updated 7 years ago
- M4GB: Efficient Groebner Basis algorithm☆71Nov 27, 2018Updated 7 years ago
- Julia package for the Singular library☆35Updated this week
- GenSSI 2.0 - Generating Series for testing Structural Identifiability☆15Apr 6, 2024Updated last year
- Constrained LUmping of differential Equations☆13Sep 12, 2024Updated last year
- fast probabilistic symmetry detection on graphs☆20Feb 4, 2026Updated 3 weeks ago
- MiniCard: An efficient cardinality solver based on MiniSAT☆18Jun 22, 2025Updated 8 months ago
- Groebner bases in (almost) pure Julia☆74Feb 22, 2026Updated last week
- The primary source code repository for PHCpack, a software package to solve polynomial systems with homotopy continuation methods.☆72Updated this week
- Extension of MultivariatePolynomials to semialgebraic sets☆22Oct 8, 2024Updated last year
- (ICLR 2021) Learning to Represent Action Values as a Hypergraph on the Action Vertices☆23Jun 22, 2021Updated 4 years ago
- A Julia library for automated deduction in Euclidean geometry.☆24Aug 20, 2022Updated 3 years ago
- ☆38Feb 20, 2026Updated last week
- The probSAT SAT Solver☆26Oct 21, 2022Updated 3 years ago
- ParameterEstimation.jl is a Julia package for estimating parameters and initial conditions of ODE models given measurement data.☆31Jan 15, 2026Updated last month
- MaxHS: a hybrid Maxsat solver developed by Jessica Davies and Fahiem Bacchus☆28Jan 24, 2022Updated 4 years ago
- ☆30Jun 23, 2023Updated 2 years ago
- Learning Algebraic Varieties from Samples☆24Jan 5, 2024Updated 2 years ago
- Library for Polynomial System Solving through Algebraic Methods☆171Feb 23, 2026Updated last week
- Implementation of SIAN in Julia☆31Feb 16, 2026Updated last week
- Multivariate polynomials implementation of commutative and non-commutative variables☆67Sep 19, 2025Updated 5 months ago
- A MATLAB toolbox for analysing structural properties of nonlinear models (identifiability, observability, accessibility, controllability)☆33Oct 9, 2025Updated 4 months ago
- Exact representation and calculation with roots (e.g. square roots) and their addition/multiplication☆29Dec 21, 2025Updated 2 months ago
- Symbolic SMT solving for Julia using Z3 on Symbolics.jl expressions☆36Feb 19, 2026Updated last week
- A Julia package for solving systems of polynomials via homotopy continuation.☆208Feb 17, 2026Updated last week
- Julia implementations of symbolic integration algorithms☆37Sep 8, 2025Updated 5 months ago
- Collection of Deep Reinforcement Learning Jupyter Notebooks. Each notebook is self-contained and presents single algorithm. These include…☆38Mar 7, 2020Updated 5 years ago
- Python package for simulating population protocols☆10May 10, 2025Updated 9 months ago
- SBML differential equation and chemical reaction model (Gillespie simulations) for Julia's SciML ModelingToolkit☆44Feb 8, 2026Updated 3 weeks ago
- Coq/Rocq practice session @ Lean For The Curious Mathematicians 2024☆13Mar 28, 2024Updated last year
- Artifact associated with CHES 2022 paper https://tches.iacr.org/index.php/TCHES/article/view/9817☆12Nov 10, 2023Updated 2 years ago
- In this project, we give python and C++ codes for the Ring Polymer Molecular Dynamics (RMPD) to calculate the time correlation function(…☆12Dec 31, 2017Updated 8 years ago
- A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point☆51Nov 16, 2025Updated 3 months ago
- ☆12Nov 9, 2020Updated 5 years ago
- Verifying encodings into propositional logic in Lean☆14Aug 14, 2023Updated 2 years ago
- A web IDE for ACL2 using a Kubernetes based backend. Evolution of https://github.com/calebegg/proof-pad-classic☆11Jul 15, 2024Updated last year
- ☆11Jun 15, 2019Updated 6 years ago
- Source code for paper "Trajectory of Alternating Direction Method of Multipliers and Adaptive Acceleration" of NeurIPS 2019☆10Jan 25, 2024Updated 2 years ago