Similar repositories to JuliaAlgebra/SemialgebraicSets.jl:
JuliaAlgebra/SemialgebraicSets.jl
github
similar
JuliaAlgebra/TypedPolynomials.jl
github
similar
JuliaAlgebra/StaticPolynomials.jl
github
similar
JuliaAlgebra/MultivariateMoments.jl
github
similar
JuliaAlgebra/FixedPolynomials.jl
github
similar
JuliaAlgebra/DynamicPolynomials.jl
github
similar
saschatimme/ImplicitPlots.jl
github
similar
jump-dev/PolyJuMP.jl
github
similar
JuliaHomotopyContinuation/Homotopies.jl
github
similar
jverzani/PolynomialFactors.jl
github
similar
PBrdng/Bertini.jl
github
similar
JuliaAlgebra/TrigPolys.jl
github
similar
dpsanders/SatisfiabilityInterface.jl
github
similar
wbhart/Singular.jl
github
similar
blegat/HybridSystems.jl
github
similar
JuliaAlgebra/MultivariateBases.jl
github
similar
charleskawczynski/DispatchedTuples.jl
github
similar
blegat/EntropicCone.jl
github
similar
videlec/pplpy
github
similar
danistefanovic/build-your-own-x
github
similar
chakravala/Dendriform.jl
github
similar
lucaferranti/GeometricTheoremProver.jl
github
similar
jverzani/PolynomialZeros.jl
github
similar
JuliaOpt/MathOptInterfaceGurobi.jl
github
similar
saschatimme/HigherPrecision.jl
github
similar
jump-dev/SDPA.jl
github
similar
jump-dev/CSDP.jl
github
similar
jump-dev/DSDP.jl
github
similar
mtanneau/Linda.jl
github
similar
blegat/SetProg.jl
github
similar
IainNZ/RationalSimplex.jl
github
similar
JuliaReach/MathematicalSets.jl
github
similar
FedericoStra/FromDigits.jl
github
similar
sums-of-squares/sos
github
similar
JuliaGraphs/SNAPDatasets.jl
github
similar
scheinerman/Bijections.jl
github
similar
mcovalt/ILUZero.jl
github
similar
JuliaAlgebra/MultivariatePolynomials.jl
github
similar
JuliaPolyhedra/CutPruners.jl
github
similar
RalphAS/IterativeRefinement.jl
github
similar