Orateur
Micaela Mayero
(Université Sorbonne Paris Nord)
Description
Les outils de preuves formelles, issus des recherches en logique, ont pris de l’ampleur ces dernières décennies. Nous présenterons succinctement ces outils, leurs évolutions ainsi que leurs fondements théoriques.
Les preuves formelles sont utilisées et développées à la fois dans le domaine de l’enseignement, principalement en mathématiques et en informatique, et de la recherche, et ces dernières années, parfois de manière coordonnée.
Nous présenterons ces deux aspects en faisant un focus sur l’analyse réelle et l’analyse numérique en Rocq. Nous nous appuierons régulièrement sur des exemples.