A Constraint Satisfaction Approach for Enclosing Solutions to Parametric Ordinary Differential Equations

Micha Janssen, Pascal Van Hentenryck, Yves Deville. A Constraint Satisfaction Approach for Enclosing Solutions to Parametric Ordinary Differential Equations. SIAM J. Numerical Analysis, 40(5):1896-1939, 2002. [doi]

Abstract

Abstract is missing.