Le prochain séminaire du D2 aura lieu le 3 décembre à 13h00 en salle A008.
Orateur : Thibault Gauthier
Titre : The Automation of Mathematics in Practice
Abstract:
This presentation provides an overview of automated systems actively
used in proving mathematical theorems, focusing on the practical
successes achieved by SAT solvers, first-order theorem provers, and
interactive theorem provers.
Additionally, we present our progress towards improving automation in
areas that are usually considered challenging for proof automation, such
as conjecture generation and inductive reasoning.
Toutes les infos se trouvent aussi sur le site du département.