Similar repositories to JuliaReach/BernsteinExpansions.jl:
JuliaReach/BernsteinExpansions.jl
github
similar
JuliaReach/MathematicalSets.jl
github
similar
chriscoey/AlgebraicIntegration.jl
github
similar
JuliaReach/JuliaReach-website
github
similar
JuliaReach/NeuralNetworkAnalysis.jl
github
similar
GamestonkTerminal/GamestonkTerminal
github
similar
JuliaReach/SpaceExParser.jl
github
similar
KlausC/SparseWrappers.jl
github
similar
eschnett/VectorSpaces.jl
github
similar
chriselrod/StructuredMatrices.jl
github
similar
JuliaReach/IntervalMatrices.jl
github
similar
JuliaReach/juliareach-days-3
github
similar
JuliaReach/RangeEnclosures.jl
github
similar
JuliaReach/MathematicalPredicates.jl
github
similar
JuliaReach/RP21_RE
github
similar
JuliaOpt/MathOptInterfaceGurobi.jl
github
similar
JuliaReach/PolynomialZonotopes.jl
github
similar
lucaferranti/GeometricTheoremProver.jl
github
similar
JuliaReach/ReachabilityBenchmarks
github
similar
lanl-ansi/MomentOpt.jl
github
similar
JuliaIntervals/ITF1788.jl
github
similar
mtanneau/Linda.jl
github
similar
mcognetta/Semirings.jl
github
similar
blegat/SetProg.jl
github
similar
JuliaReach/ReachabilityModels.jl
github
similar
JuliaReach/CarlemanLinearization.jl
github
similar
JuliaReach/LazySets-JuliaCon21
github
similar
gragusa/Hermetic.jl
github
similar
tkluck/PolynomialRings.jl
github
similar
tkluck/InPlace.jl
github
similar
gwater/NumberIntervals.jl
github
similar
JuliaAlgebra/StaticPolynomials.jl
github
similar
rdeits/Mayday.jl
github
similar
PBrdng/Bertini.jl
github
similar
timholy/CoordinateSplittingPTrees.jl
github
similar
RalphAS/IterativeRefinement.jl
github
similar
tkf/Awaits.jl
github
similar
JuliaAlgebra/TrigPolys.jl
github
similar
JuliaIntervals/IntervalLinearAlgebra.jl
github
similar
JuliaLinearAlgebra/SparseLinearAlgebra.jl
github
similar