Conférences

Enregistrements trouvés: 1 (Afficher toutes les activités)
Séminaire
Le calcul numérique et les preuves assistées par ordinateur: une brève introduction
Jean-Philippe Lessard
Professeur au Département de mathématiques et de statistique

Dans cet exposé, nous allons introduire une approche qui combine les méthodes numériques,
l'analyse fonctionnelle, la théorie des points fixes et l'arithmétique des intervalles et qui
nous permet de démontrer formellement (et de manière constructive) l'existence de solutions
d'équations non-linéaires. Nous allons démontrer comment cette approche permet d'étudier
formellement certaines équations aux dérivées partielles.

Date: 2012-01-19 à 09:30
Endroit: PLT-3370