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
- 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).