L’outillage quotidien du mathématicien comporte depuis longtemps des instruments pour calculer, étudier des constructions géométriques ou simuler des processus. Pourrait-il y en avoir aussi pour faire des démonstrations ? Cette question n’est pas nouvelle, puisque les premières démonstrations assistées par ordinateur remontent aux années 1960, mais c’est surtout au cours de la dernière décennie que cette pratique s’est développée plus largement dans la communauté mathématique. L’objet de cette conférence est de raconter ce que sont ces démonstrations assistées par ordinateur, en mettant en avant les questions qu’elles posent aux
mathématiciens. On se demandera aussi dans quelles conditions l’usage de logiciels de démonstration pourrait trouver sa place dans l’enseignement des mathématiques.
Comité d'organisation de ce cycle de conférences : Juliette Legrand et Françoise Pène
Source photo : Emmanuel Beffara