Le séminaire Vérification et Preuves

Le séminaire SVP a lieu tous les deux mois, en alternance entre le LRI et le LSV. Le séminaire est public et ne nécessite aucune inscription préalable.

Séminaires passés

Arithmétique flottante et résolution d'équations différentielles

 Sylvie Boldo
Date
Le mardi 23 mai 2017 à 11:00
Lieu
LSV (amphi Chemla, Institut d'Alembert)
Orateur
Sylvie Boldo (LRI)

On s'intéressera ici aux erreurs d'arrondi commises lors de la résolution d'équations différentielles. On montrera qu'utiliser les propriétés mathématiques des schémas permet de réduire les bornes sur les erreurs d'arrondi au travers de plusieurs exemples : un schéma pour une équation aux dérivées partielles (équation des ondes 1D) et plusieurs schémas pour des équations aux dérivées ordinaires (Euler, Runge-Kutta).


À propos du LSV