Similar repositories to sumiya11/Groebner.jl:
sumiya11/Groebner.jl
github
similar
YingboMa/SIMDPolynomials.jl
github
similar
HaraldHofstaetter/SymbolicIntegration.jl
github
similar
danistefanovic/build-your-own-x
github
similar
JuliaSymbolics/SymbolicSAT.jl
github
similar
oscar-system/Singular.jl
github
similar
YingboMa/Unityper.jl
github
similar
JuliaSIMD/LoopModels
github
similar
thautwarm/Virtual.jl
github
similar
tuvtran/project-based-learning
github
similar
JuliaAlgebra/DynamicPolynomials.jl
github
similar
JuliaLabs/Poly.jl
github
similar
oscar-system/GAP.jl
github
similar
JuliaSmoothOptimizers/NLPModelsIpopt.jl
github
similar
siravan/SymPertExamples.jl
github
similar
ederc/GroebnerBasis.jl
github
similar
siravan/SymPoly.jl
github
similar
charleskawczynski/DispatchedTuples.jl
github
similar
scheinerman/LinearAlgebraX.jl
github
similar
JuliaAlgebra/SemialgebraicSets.jl
github
similar
rfourquet/BitIntegers.jl
github
similar
scheinerman/Bijections.jl
github
similar
vtjnash/ComputedFieldTypes.jl
github
similar
Roger-luo/ExproniconLite.jl
github
similar
dalum/Sylvia.jl
github
similar
MasonProtter/SymbolicTracing.jl
github
similar
Roger-luo/Expronicon.jl
github
similar
tkf/BenchmarkCI.jl
github
similar
pogudingleb/CLUE
github
similar
JuliaLinearAlgebra/RecursiveFactorization.jl
github
similar
kalmarek/Arblib.jl
github
similar
gibiansky/IHaskell
github
similar
YingboMa/MaBLAS.jl
github
similar
MasonProtter/ShapeCheck.jl
github
similar
tootsuite/mastodon
github
similar
lab-ml/annotated_deep_learning_paper_implementations
github
similar
dpsanders/SatisfiabilityInterface.jl
github
similar
crstnbr/MonteCarlo.jl
github
similar
JuliaSparse/SparseArrays.jl
github
similar
PetrKryslUCSD/Elfel.jl
github
similar