Petit-déjeuner de presse : Bugs dans les logiciels, vérification des démonstrations mathématiques, même combat !

Comment s’assurer que la démonstration d’un théorème mathématique, qui peut courir sur des centaines de pages, est exacte ? L’informatique est de plus en plus utilisée ces dernières années, mais son usage fait encore débat chez les mathématiciens.

Author: Redaction