Sites Inria

Il y a 95 Résultats avec le mot clé : "Inria Sophia Antipolis - Méditerranée"

Mobilité

Semaine de la mobilité

19/09/2011 au 22/09/2011

Dans le cadre de la Semaine européenne de la mobilité , l'équipe-projet Axis organise une série de rencontres avec les citoyens à Nice, Antibes et Sophia Antipolis autour de la qualité urbaine et/ou des transports. Ces expérimentations s'inscrivent dans le cadre du ICT usage Lab qui vise à mettre au point de nouveaux produits et services s'appuyant sur les sciences du numérique centrés sur les utilisateurs et utilisatrices et les usages des nouvelles technologies.

Lieu : Nice, Antibes et Sophia Antipolis

Intervenant(s) : Equipe-projet Axis

Mots-clés :

Accueil > Centre > Sophia > Agenda > Semaine de la mobilité

lire la suite

© Photo Bernard Lachaud

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 :

Accueil > Recherches > Actualités > La preuve mathématique par informatique !

Lire la suite

Georges Gonthier, laboratoire commun Microsoft Research-Inria © Laboratoire commun Inria-Microsoft Research

Preuve informatique

Georges Gonthier : 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 :

Accueil > Recherches > Actualités > Georges Gonthier : Notre diagramme de travail ressemblait à un plan de guerre napoléonienne !

Lire la suite

© Inria / Photo Kaksonen

Preuve informatique

Un grand succès pour la preuve informatique

Françoise Breton - 22/11/2012

Six 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 :

Accueil > Recherches > Actualités > Un grand succès pour la preuve informatique

Lire la suite

Organigramme type

Organisation

Vos contacts au centre de recherche Inria Sophia Antipolis - Méditerranée

Pour toutes questions concernant l’un des services du centre de recherche Inria Sophia Antipolis - Méditerranée, merci de contacter directement le responsable du service.

Mots-clés :

Accueil > Centre > Sophia > Présentation > Liste des contacts

Lire la suite

Haut de page

Suivez Inria