Similar repositories to diegcif/SumsOfSquares.m2:

• diegcif/SumsOfSquares.m2 github similar
• ameliaperry/SumOfSquaresOptimization.jl github similar
• JuliaOpt/MathOptInterfaceMosek.jl github similar
• joehuchette/LiftedHierarchies.jl github similar
• JuliaOpt/MathOptInterfaceGurobi.jl github similar
• sums-of-squares/sos github similar
• mtanneau/Linda.jl github similar
• blegat/SwitchOnSafety.jl github similar
• tweisser/PolyPowerModels github similar
• JuliaAlgebra/MultivariateMoments.jl github similar
• JuliaReach/MathematicalSets.jl github similar
• tkoolen/MINLPTrajOpt github similar
• PBrdng/Bertini.jl github similar
• JuliaAlgebra/TrigPolys.jl github similar
• scipopt/PaPILO.jl github similar
• rgcv/libcgal-julia github similar
• rdeits/Mayday.jl github similar
• realopt/BlockDecomposition.jl github similar
• JulieSliwak/MathProgComplex.jl github similar
• ccodel/verified-encodings github similar
• blegat/EntropicCone.jl github similar
• JuliaOpt/ConicBenchmarkUtilities.jl github similar
• tweisser/Sparse_BSOS github similar
• jac0320/toJuMP.jl github similar
• JuliaReach/SpaceExParser.jl github similar
• ericphanson/ConvexTests.jl github similar
• lanl-ansi/Katana.jl github similar
• validsdp/validsdp github similar
• jump-dev/CSDP.jl github similar
• JuliaOpt/MathOptInterfaceBridges.jl github similar
• JuliaAlgebra/FixedPolynomials.jl github similar
• JuliaSystems/ControlToolbox.jl github similar
• joehendrix/lean-sat-checker github similar
• arthurpaulino/NumLean github similar
• mkoeppe/cutgeneratingfunctionology github similar
• rwbarton/lean-omin github similar
• JuliaAlgebra/SemialgebraicSets.jl github similar
• blegat/SetProg.jl github similar
• wbhart/Singular.jl github similar
• jump-dev/SDPA.jl github similar