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 (suite)
Jean-Philippe Lessard
Professeur au Département de mathématiques et de statistiqueDans 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.

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-02-23 à 09:30
Endroit: VCH-3840