A Coq Formalization of Taylor Models and Power Series for Solving Ordinary Differential Equations.

Sewon Park, Holger Thies

Browse the full ITP paper archive.