Adaptive verifizierte Lösung gewöhnlicher Differentialgleichungen | lit.salon