Actualités - Inria

Environnement

En 2013, la Terre se met aux maths

Christine Leininger - Antoine Rousseau - 4/03/2013

La Terre est notre planète, une planète complexe et riche tant sur le plan physique que biologique, façonnée par la civilisation. Mais elle est aussi une planète en danger. Comment les sciences mathématiques et informatiques contribuent-elles à mieux l'étudier ? À comprendre les phénomènes qui s'y passent ? À anticiper ses évolutions ? À proposer des solutions lorsque c'est possible ? Autour de ces questions qui nous interpellent tous, les chercheurs se mobilisent partout dans le monde.

Distinction

Patrick Valduriez distingué ACM Fellow

Nathaly Mermet, Technoscope - 13/12/2012

La prestigieuse distinction de l’Association for Computing Machinery (ACM) vient d’être décernée pour la troisième fois à un français. Un grand honneur pour Patrick Valduriez, Directeur de Recherche Inria et responsable de l’équipe-projet Zenith commune avec le LIRMM* à Montpellier.

Mots-clés :

Réalité virtuelle

S’immerger dans les mondes virtuels devient accessible au grand public

Sabine Coquillart, Françoise Breton - 27/11/2012

Au cours des 20 dernières années, le domaine de la réalité virtuelle a connu des progrès spectaculaires : immersion plus forte avec des capacités d’interaction plus variées et performantes. Aujourd’hui, les applications industrielles de ces recherches sont nombreuses dans le prototypage virtuel ou bien dans la simulation pour la formation. Ces technologies commencent également à pénétrer le secteur grand public avec, par exemple, l’offre de casques de réalité virtuelle permettant une immersion totale dans les univers virtuels des jeux.

Mots-clés :

Preuve informatique

La preuve mathématique par informatique !

Nathaly Mermet - 22/11/2012

Une démonstration formelle complète, certifiée par le logiciel Coq, a été annoncée en septembre par Georges Gonthier et son équipe du laboratoire commun Inria Microsoft Research.

Ces travaux rendent artificielle l’opposition entre informatique et mathématiques, le dénominateur commun étant la logique. Parmi les "compagnons de route" de Georges Gonthier, deux jeunes chercheurs se réjouissent d’avoir participé à l’aventure et "grandi" avec le projet Mathematical Components (MathComp). Témoignages…

Mots-clés :

Preuve informatique

"Notre diagramme de travail ressemblait à un plan de guerre napoléonienne !"

Françoise Breton - 22/11/2012

Six années se sont écoulées entre le début du projet et la fin de la preuve du théorème de Feit et Thompson réalisée le 20 septembre 2012. Récit d’une aventure moderne.

Entretien avec Georges Gonthier, laboratoire commun Microsoft Research-Inria.

Mots-clés :

Preuve informatique

Un grand succès pour la preuve informatique

Françoise Breton - 22/11/2012

6 ans après la démonstration par ordinateur du théorème des quatre couleurs, Georges Gonthier et son équipe réussissent la démonstration, autrement plus complexe, du théorème de Feit et Thompson, un théorème central pour la théorie des groupes et leur classification. Grand pas pour les mathématiques, qui s’appuient de plus en plus sur la preuve par ordinateur, c’est surtout une réussite pour l’informatique qui montre là sa capacité à déployer des outils et des techniques de qualité pour codifier les mathématiques.

Mots-clés :

Calcul haute performance

Inria en direct de SuperComputing 2012

Nathalie Lémy - 14/11/2012

Cette année encore Inria est présent au salon international SuperComputing. Découvrez les premières images de ce rendez-vous incontournable du calcul haute performance.

Mots-clés :

Calcul haute performance

SuperComputing 2012 : l’incontournable du calcul

Nathaly Mermet - 12/11/2012

La communauté mondiale du calcul scientifique est réunie en ce moment même et ce jusqu’au 16 novembre à Salt Lake City. Fidèle à cet événement créé en 1988, Inria participe à travers ses équipes spécialisées en calcul haute performance (HPC) depuis près de 20 ans.

Mots-clés :

Eitan Altman et Joël Cibert, lauréats du Prix France Télécom et Philippe Taquet - © Brigitte Eymann - Académie des Sciences

Théorie des jeux

Prix France Telecom : au-delà de la reconnaissance, de belles perspectives pour la théorie des jeux

Nathaly Mermet, Technoscope - 12/11/2012

Le Prix France Télécom de l’Académie des Sciences a été remis conjointement le 15 octobre dernier à Eitan Altman, chercheur Inria et membre associé de l’UPMC (Paris 6) et Joël Cibert, directeur de recherche CNRS à l’Institut Néel à Grenoble. Prix prestigieux, il marque la reconnaissance d’un domaine en plein essor.

@Inria