Informatique comme source de nouvelles mathématiques
L'informatique, tout comme la physique, devient de plus en plus une source de nouvelles mathématiques.Aide à la démonstration : théorème des quatre couleurs, problème d'empilement des sphères de Kepler, classification des groupes finis simples.
Source de nouvelles conjectures : P = NP ?
L'ordinateur mathématicien ?