Navigation
Page d'accueil
Présentation du site
Fonctionnement
Documentation
Un article au hasard
Il y a un an sur IdM
Lexique
Rubriques
Actualités
Archives et divers
Billets des habitués
Café des maths
Courrier des lecteurs
Echos de la recherche
Histoire des Mathématiques
Images et visualisation
Les conjectures du trimestre
Monde de la recherche
Objet du mois
Portraits
Vidéos
Images des maths 2006
Images des maths 2004
Dossiers
Autour de Galois
Benoît Mandelbrot et les objets fractals
Bibliothèques et périodiques mathématiques
Faut-il avoir peur des maths financières ?
Mikhaïl Gromov, géomètre
Transport optimal
Liens
Sites institutionnels
Sites et blogs mathématiques
Sites et blogs scientifiques
Revues et encyclopédies
Jeux et concours
Recherche
Rechercher :
Recherche avancée
Plan du site
Divers
Imprimer cette page
Notre équipe
Mentions légales
Syndication (RSS)
Nous contacter
Identification
S'identifier
S'inscrire
Benjamin Werner
Je suis un chercheur employé par l'INRIA (
page web
)
Envoyer un message
Votre adresse email (obligatoire)
Sujet (obligatoire)
Texte de votre message (obligatoire)
Veuillez laisser ce champ vide :
Tous ses articles :
La vérité et la machine
Le 15 octobre 2006, par
Benjamin Werner
Images des maths 2006
Longtemps réservée aux informaticiens et logiciens, la vérification formelle de démonstration commence à être utilisée par une fraction grandissante de la communauté mathématique.
