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.
Éditeur de presse digitale depuis 1994 – Revue de Presse – Relais de brèves, articles de fond, publication de communiqués de presse
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.
205208 articles
Sous embargo planifié : 0
Articles révisés : 271
En cours de relecture : 0
En cours de rédaction : 4
En cours de suppression : 0
Articles retirés : 3
Article essentiel : 1
Smart Bourse
© Copyright Éditions Pierre R. Muzas, Call Ways® brand owner since 1994