A development environment for robust and global optimization

A forward McCormick operator library

Experimental Approach to McCormick Relaxation Source-Code Transformation

Differential Inequality Algorithms for Parametric ODEs

Abstraction Layer for Dynamic Bounds

Bounds and Relaxations of Parametric Differential Equations

Valid Discrete-Time Methods for Relaxing pODEs

A reverse McCormick operator library