Sites Inria

Il y a 1 Résultats avec le mot clé : "Mathematical components"

Laurence Rideau © Bernard Lachaud © Bernard Lachaud

Preuve informatique

La précision des ordinateurs au service des mathématiques

Nathaly Mermet, Technoscope - 6/12/2012

Avec l’équipe Typical d’Inria Saclay - Ile-de-France, l’équipe Marelle de Sophia Antipolis a largement participé à l’aventure du projet Mathematical Components , sous la houlette de Georges Gonthier, dans le cadre du laboratoire commun Inria Microsoft Research.

Retour sur une expérience passionnante avec l’une des chercheuses de Marelle, Laurence Rideau.

Mots-clés :

Accueil > Centre > Saclay > Actualités > La précision des ordinateurs au service des mathématiques

Lire la suite

Haut de page

Suivez Inria