Applications of reinforcement learning to Groebner basis computation.
☆15Jun 13, 2021Updated 5 years ago
Alternatives and similar repositories for deepgroebner
Users that are interested in deepgroebner are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- F4 algorithm C++ library (groebner basis computations over finite fields)☆14Apr 6, 2018Updated 8 years ago
- Parallel Groebner Basis Computation☆26Mar 21, 2026Updated 7 months ago
- fast probabilistic symmetry detection on graphs☆22Oct 20, 2026Updated last week
- Haskell implementation of open games☆13Apr 20, 2016Updated 10 years ago
- Julia package for the Singular library☆36Updated this week
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- A tool for checking tool output inspired by LLVM's FileCheck☆13Aug 29, 2025Updated last year
- GenSSI 2.0 - Generating Series for testing Structural Identifiability☆15Apr 6, 2024Updated 2 years ago
- ☆30Jun 23, 2023Updated 3 years ago
- A fast and certifying solver for quantified Boolean formulas.☆26Apr 29, 2025Updated last year
- The probSAT SAT Solver☆27Oct 21, 2022Updated 4 years ago
- Learning Algebraic Varieties from Samples☆24Jan 5, 2024Updated 2 years ago
- Implementation of SIAN in Julia☆30Sep 24, 2026Updated last month
- Groebner bases in (almost) pure Julia☆79Oct 13, 2026Updated 2 weeks ago
- DRAT proof processor☆16Apr 8, 2023Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Extension of MultivariatePolynomials to semialgebraic sets☆24Sep 21, 2026Updated last month
- ☆12Mar 4, 2025Updated last year
- Ranking LLM-Generated Loop Invariants for Program Verification.☆13Aug 20, 2024Updated 2 years ago
- ParameterEstimation.jl is a Julia package for estimating parameters and initial conditions of ODE models given measurement data.☆32Updated this week
- Julia implementations of symbolic integration algorithms☆37Sep 8, 2025Updated last year
- Quick visualization of C++/Python code for Education, code Analysis and Fun.☆10May 29, 2022Updated 4 years ago
- CRC Tool Kit☆18Oct 5, 2012Updated 14 years ago
- A library that you can use to build spiking neural network brains for your Arduino robots! Largely allows you to follow the paradigms of …☆10Nov 21, 2015Updated 10 years ago
- A Julia library for automated deduction in Euclidean geometry.☆25Aug 20, 2022Updated 4 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- The primary source code repository for PHCpack, a software package to solve polynomial systems with homotopy continuation methods.☆78Updated this week
- Syntax aware code search for Julia☆15Jun 22, 2026Updated 4 months ago
- MaxHS: a hybrid Maxsat solver developed by Jessica Davies and Fahiem Bacchus☆29Jan 24, 2022Updated 4 years ago
- UnrealCV for image rendering from 3D model☆14May 21, 2020Updated 6 years ago
- SBML differential equation and chemical reaction model (Gillespie simulations) for Julia's SciML ModelingToolkit☆44Updated this week
- GKLEE is a symbolic analyser and test generator tailored for CUDA C++ programs☆16Dec 12, 2014Updated 11 years ago
- Artifact associated with CHES 2022 paper https://tches.iacr.org/index.php/TCHES/article/view/9817☆12Nov 10, 2023Updated 2 years ago
- Implementation in Julia of unitary core transformations approach to finding eigenvalues of companion matrices☆12Sep 20, 2026Updated last month
- State-of-the-art MaxSAT Solver & Library Based on Unsat Core Guided Techniques☆30Nov 5, 2025Updated 11 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- GNU Hyperbole: The Everyday Hypertextual Information Manager☆14Updated this week
- Integrates meow with vterm☆15Apr 30, 2023Updated 3 years ago
- Data and code for Natural Language Inference with Multiple Premises☆13May 15, 2019Updated 7 years ago
- Hy bindings for JAX☆11Apr 7, 2026Updated 6 months ago
- Chowdhury, S. and Mémoli, F., Persistent Path Homology of Directed Networks. SODA 2018.☆13Mar 30, 2021Updated 5 years ago
- CAS, Commutative Rings, Fraction Fields, Quotient Rings, Polynomial Rings, Galois Fields☆11Jun 13, 2026Updated 4 months ago
- Make them bits dance!☆13Oct 22, 2025Updated last year