8 Packages since 2017
User Packages
-
DynamicBounds.jl1Bounds and Relaxations of Parametric Differential Equations
-
ReverseMcCormick.jl1Reverse McCormick Operator Library
-
DynamicBoundspODEsDiscrete.jl1Valid Discrete-Time Methods for Relaxing pODEs
-
DynamicBoundsBase.jl2Abstraction Layer for Dynamic Bounds
-
DynamicBoundspODEsIneq.jl4Differential Inequality Algorithms for Parametric ODEs
-
SourceCodeMcCormick.jl4Experimental Approach to McCormick Relaxation Source-Code Transformation
-
McCormick.jl12A Forward McCormick Operator Library
-
EAGO.jl117A development environment for robust and global optimization
View all packages