Inria
Inria.fr
Inria Channel
A la une
© Laboratoire commun Inria-Microsoft Research
Preuve informatique
"Notre diagramme de travail ressemblait à un plan de guerre napoléonienne !"
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 :
© Photo Bernard Lachaud
Preuve informatique
La preuve mathématique par informatique !
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.
Mots-clés :
© Inria / Photo Kaksonen
Preuve informatique
Un grand succès pour la preuve informatique
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 :
Météo du coeur - Inriality
Culture numérique
Inriality, une fenêtre ouverte sur le monde numérique
Inria vient de lancer Inriality, espace ouvert et participatif d'échanges et de réflexion sur la civilisation numérique. Cette plateforme, qui naît à côté du site institutionnel Inria.fr, sera un lieu de dialogue où chacun sera libre d'apporter sa contribution.
Mots-clés :
Concours
Le Castor informatique, une découverte ludique de l’informatique par les élèves
Le Castor informatique est un concours pour les élèves de collèges et lycées, à base de petits exercices et de jeux, pour leur montrer que l’informatique ne correspond souvent pas à ce qu’ils imaginent ! Sylvie Boldo, chercheuse dans l’équipe Toccata, et qui fait partie du comité d’organisation, nous explique l’originalité de cette initiative.
© Inria / Photo Kaksonen
Algorithmique, programmation, logiciels et architectures
Trouver la géométrie dans une meule de points
Frédéric Chazal, directeur de recherche dans l'équipe Geometrica, explique les grands principes du domaine de recherche de son équipe en calcul géométrique en se basant sur des exemples concrets d'images.
Archives
- Novembre 2012 (6)
- Octobre 2012 (1)
- Septembre 2012 (4)
- Juillet 2012 (3)
- Juin 2012 (2)
- Mai 2012 (2)
En bref
- Soutenance de thèse de Sandie Balaguer : "La concurrence dans les systèmes distribués temps-réel"
- Soutenance de thèse d'Hedi Benzina : "Enforcing Virtualized Systems Security"
- Francis Maes en visite dans l'équipe Tao
- Excellent paper award pour l'équipe Tao pour le papier "Strategic Choices: Small Budgets and Simple Regret"
- Nozha Boujemaa, chevalier de l'Ordre National du Mérite
