Similar repositories to dylanpeifer/deepgroebner:

• dylanpeifer/deepgroebner github similar
• ederc/singular-benchmarks github similar
• ederc/GroebnerBasis.jl github similar
• ederc/gb github similar
• pogudingleb/CLUE github similar
• liffiton/minicard github similar
• adrianopolus/probSAT github similar
• martin-cs/symfpu github similar
• alexeyovchinnikov/SIAN-Julia github similar
• sumiya11/Groebner.jl github similar
• fbacchus/MaxHS github similar
• JuliaSymbolics/SymbolicSAT.jl github similar
• latte-int/latte github similar
• YingboMa/SIMDPolynomials.jl github similar
• JuliaAlgebra/DynamicPolynomials.jl github similar
• HaraldHofstaetter/SymbolicIntegration.jl github similar
• meelgroup/approxmc github similar
• MassimoLauria/cnfgen github similar
• cr-marcstevens/m4gb github similar
• SciML/StructuralIdentifiability.jl github similar
• JuliaLinearAlgebra/RecursiveFactorization.jl github similar
• Nemocas/AbstractAlgebra.jl github similar
• JuliaAlgebra/MultivariatePolynomials.jl github similar
• SciML/SymbolicNumericIntegration.jl github similar
• JuliaHomotopyContinuation/HomotopyContinuation.jl github similar
• thofma/Hecke.jl github similar
• jump-dev/SumOfSquares.jl github similar
• oscar-system/Oscar.jl github similar
• Singular/Singular github similar
• arminbiere/cadical github similar
• nunoplopes/alive github similar
• chakravala/Reduce.jl github similar
• JuliaIntervals/IntervalArithmetic.jl github similar
• Boolector/boolector github similar
• chakravala/Grassmann.jl github similar
• tkf/ThreadsX.jl github similar
• JuliaSymbolics/SymbolicUtils.jl github similar
• JuliaLang/www.julialang.org github similar
• cscherrer/MeasureTheory.jl github similar
• fredrik-johansson/arb github similar