Similar repositories to JuliaReach/MathematicalSets.jl:

• JuliaReach/MathematicalSets.jl github similar
• JuliaOpt/MathOptInterfaceGurobi.jl github similar
• JuliaReach/SpaceExParser.jl github similar
• JuliaReach/NeuralNetworkAnalysis.jl github similar
• ameliaperry/SumOfSquaresOptimization.jl github similar
• JuliaOpt/MathOptInterfaceMosek.jl github similar
• mtanneau/Linda.jl github similar
• chriscoey/AlgebraicIntegration.jl github similar
• rdeits/StateMachineIterators.jl github similar
• YeeJeremy/ConvexSwitch.jl github similar
• rdeits/StaticPolynomials.jl github similar
• MPF-Optimization-Laboratory/BlockMatrices.jl github similar
• PBrdng/MatrixDiscriminant.jl github similar
• ericphanson/TableTestSets.jl github similar
• cddlib/polyhedral_faq github similar
• KlausC/SparseWrappers.jl github similar
• eschnett/VectorSpaces.jl github similar
• chriselrod/StructuredMatrices.jl github similar
• PBrdng/Bertini.jl github similar
• JuliaAlgebra/TrigPolys.jl github similar
• JuliaReach/BernsteinExpansions.jl github similar
• JuliaReach/MathematicalPredicates.jl github similar
• JuliaReach/RP21_RE github similar
• laurentbartholdi/GAP.jl github similar
• sisl/ExprSearch.jl github similar
• jverzani/PolynomialZeros.jl github similar
• JulieSliwak/MathProgComplex.jl github similar
• kalmarek/SymbolicWedderburn.jl github similar
• votroto/SemialgebraicGamesCVUT.jl github similar
• kalmarek/StarAlgebras.jl github similar
• JuliaReach/PolynomialZonotopes.jl github similar
• blegat/EntropicCone.jl github similar
• JuliaReach/ReachabilityBenchmarks github similar
• rbassett3/VertEnum.jl github similar
• SimonDanisch/FieldTraits.jl github similar
• jump-dev/DSDP.jl github similar
• aytekinar/RationalFunctions.jl github similar
• JuliaPolyhedra/XPORTA.jl github similar
• kalmarek/GroupsCore.jl github similar
• tweisser/PolyPowerModels github similar