A rigorous global optimization algorithm for problems with ordinary differential equations
scientific article; zbMATH DE number 1879240