Sites Inria

Il y a 125 Résultats avec le mot clé : "Inria Saclay - Île-de-France"

© 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

Distinction

Les lauréats du Prix FIEEC Carnot de la recherche appliquée

Communiqué de presse FIEEC (*) - 17/10/2019

À l’occasion des Rendez-vous Carnot  qui se sont tenus jeudi 17 octobre 2019 à Paris, les trois lauréats du prix FIEEC CARNOT de la Recherche Appliquée 2019 ont été dévoilés. Chacun d’entre eux s’est particulièrement illustré pour ses travaux développés et appliqués en lien avec une PME-ETI en vue de générer de la croissance et des emplois. 

Mots-clés :

Accueil > Centre > Saclay > Actualités > Les lauréats du Prix FIEEC Carnot de la recherche appliquée

Lire la suite

© denisismagilov

Startups

Fit Your Tech booste les projets de startups

Julie Dugast - 4/11/2019

Le centre Inria Saclay - Île-de-France et le CEA ont lancé, le 25 octobre, le concours Fit Your Tech pour détecter et accompagner les futurs porteurs de startups technologiques. Ouvert aux étudiants scientifiques et/ou entrepreneurs, Fit Your Tech c'est un accès inédit à la recherche en Deeptech numérique - data science , IA et IoT - ainsi qu’aux réseaux d’accompagnement entrepreneurial des deux établissements de Paris-Saclay.

Mots-clés :

Accueil > Centre > Saclay > Actualités > Fit Your Tech booste les projets de startups

Lire la suite

Haut de page

Suivez Inria