Preuve

Intermédiaire

Idée reçue : Si un problème est NP-complet, alors ce n’est pas la peine de s’y attaquer

Pourquoi une affirmation aussi catégorique est-elle en partie fausse ? Revenir sur la définition des problèmes P, NP et des problèmes NP-complets aide à le comprendre.

Publié le 09/12/2009

Par Jean-Paul Delahaye

Facile

Les leçons d’un algorithme délinquant

Pour le sens commun, la machine ne se trompe jamais. Si par malheur un utilisateur pointilleux découvre une erreur dans son calcul sur ordinateur, qui doit-il alors accuser ? Lui, ou la machine ?

Publié le 20/02/2004

Par Jean-Michel Muller

Facile

Quand les écrans deviennent bleus

Peu connus, les logiciels d'infrastructure sont pourtant les piliers de tout système informatique. Gilles Muller nous en parle dans cet épisode du podcast audio.

Publié le 03/12/2013

Par Gilles Muller, Joanna Jongwane

Facile

À propos des compilateurs

Peu connue des non-informaticiens, la compilation est pourtant un des fondements de la programmation. Sandrine Blazy nous présente le rôle des compilateurs dans cet épisode du podcast audio.

Publié le 29/03/2012

Par Sandrine Blazy, Joanna Jongwane

Avancé

L'ordinateur au cœur de la découverte mathématique

L’ordinateur joue un rôle essentiel dans le travail du mathématicien, en lui permettant de gérer la complexité de certaines preuves.

Publié le 25/11/2011

Par Hadrien Mélot, Christophe Troestler

Facile

Du rêve à la réalité des preuves

Les ordinateurs ne savent pas prouver seuls des théorèmes profonds. Cependant, grâce aux assistants de preuve, ils garantissent les démonstrations découvertes par les mathématiciens.

Publié le 08/06/2012

Par Jean-Paul Delahaye

Intermédiaire

Comment faire confiance à un compilateur ?

Ces travaux sur le compilateur formellement vérifié CompCert ont reçu le prix La Recherche 2011 en Sciences de l'information.

Publié le 21/05/2010

Par Xavier Leroy

Facile

Informatique et mathématiques

Entre les mathématiques et l'informatique, des liens de filiation, des interactions, des frontières pas toujours faciles à tracer... dont ces quelques références vous donneront une idée.

Publié le 24/09/2012

Intermédiaire

La vérité et la machine

Peut-on être sûr de la vérité d’une preuve ? Cette preuve de la preuve, comment l’obtenir en pratique ? La vérification formelle de démonstration est de plus en plus utilisée par les mathématiciens.

Publié le 30/09/2009

Par Benjamin Werner

À estimer

Preuves formelles, preuves calculatoires

Dans cet exposé, Benjamin Werner présente les méthodes formelles appliquées à la validation de résultats spectaculaires comme la démonstration du théorème des quatre couleurs, ou encore de la conjecture de Kepler.

Publié le 19/03/2007

Par Benjamin Werner