Some recent advances in validated methods for IVPs for ODEs
scientific article; zbMATH DE number 1787736
scientific article