[fr] L'ordinateur, inventé par des mathématiciens, transforme à son tour le regard et les outils dont ceux-ci disposent dans l'exploration de problèmes mathématiques difficiles. Dans cet article, des questions de coloriage de graphes, ainsi que l'étude de modèles mathématiques de phénomènes physiques complexes, illustreront l'impact croissant des techniques de preuves assistées par ordinateur dans la découverte mathématique. Ces questions montreront le rôle essentiel de l'ordinateur dans le travail du mathématicien en lui permettant de gérer la complexité de certaines preuves.
Research center :
CREMMI - Modélisation mathématique et informatique
Disciplines :
Electrical & electronics engineering
Author, co-author :
Mélot, Hadrien ; Université de Mons > Faculté des Sciences > Algorithmique
Troestler, Christophe ; Université de Mons > Faculté des Sciences > Service d'Analyse numérique
Language :
English
Title :
L'ordinateur au coeur de la découverte mathématique
Publication date :
01 March 2011
Journal title :
Élement: le Magazine de l'Université de Mons
Publisher :
Université de Mons, Mons, Belgium
Volume :
5
Pages :
29-31
Research unit :
S835 - Analyse numérique S825 - Algorithmique
Research institute :
R150 - Institut de Recherche sur les Systèmes Complexes