Il existe différentes approches pour l'intégration numérique certifiée d'équations différentielles comme les modèles de Taylor et des adaptations de méthodes de Runge–Kutta. Dans notre exposé, nous comparerons les avantages et inconvénients de ces méthodes du point de vue de la complexité pratique et asymptotique.

Occasion: Journée Cosinus-Max, LIX, École polytechnique, May 27, 2019

Documents: slideshow, TeXmacs source