archive-fr.com » FR » I » INRIA.FR

Total: 1610

Choose link from "Titles, links and description words view":

Or switch to "Titles and links view".
  • La preuve mathématique par informatique ! - Inria
    notre époque voilà le défi que s est lancé Marc Lavielle En conciliant des travaux scientifiques de premier plan et une capacité unique à s appuyer sur des partenariats industriels il a réussi à mettre au point une solution innovante bénéficiant aujourd hui à toute l industrie pharmaceutique Lire la suite Rechercher une équipe Actualités Innovation Agenda Innovation Partenariats industriels Télécoms Aéronautique Environnement Systèmes embarqués Santé iCOMMUNITY Une plateforme web pour innover avec la recherche publique iCOMMUNITY est un site web développé par Inria et soutenu par Allistène Alliance des sciences et technologies numériques pour tous ceux qui veulent innover avec la recherche publique Ce site a pour objectif de faciliter les échanges et encourager les collaborations entre le monde de l industrie et l ensemble des acteurs de la recherche au service de la société Lire la suite Transfert technologique Patrimoine logiciel d Inria Inria est à l origine d une importante production de logiciels Ci dessous quelques exemples de logiciels phares classés par secteur Retrouvez l intégralité du patrimoine logiciel sur iCOMMUNITY Lire la suite Partenariats Les partenariats stratégiques avec les grands industriels Les partenariats stratégiques que met en place Inria sont des partenariats bilatéraux et de long terme avec de grands groupes industriels formalisés dans un contrat cadre Un programme de recherche est élaboré conjointement pour Inria et son partenaire sur la base des thématiques prioritaires proposées par l industriel Des projets de recherche s inscrivant dans ce programme sont ensuite construits conjointement par les équipes d Inria et du partenaire De plus un comité de pilotage et un comité scientifique garantissent la cohérence et la bonne marche de la collaboration Lire la suite Création d entreprises 30 ans de création d entreprises Dircom 26 11 2014 1984 Inria devient actionnaire d une première société SIMULOG C est le début d une histoire de création d entreprises toujours en marche Dès aujourd hui et dans les mois qui viennent Inria donne un coup de projecteur sur ses 30 ans de belles aventures entrepreneuriales L occasion de rappeler que dans sa recherche d impact économique et sociétal la création d entreprises est une des voies qu Inria a décidé de privilégier Entretien avec Antoine Petit Président directeur général d Inria et Eric Horlait directeur général délégué au transfert et aux partenariats industriels d Inria Lire la suite Présentation Recherche Innovation Accueil Centre Saclay Actualités La preuve mathématique par informatique Preuve informatique Nathaly Mermet 22 11 2012 La preuve mathématique par informatique Photo Bernard Lachaud 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 Vous sentez vous privilégié e d avoir contribué au succès des derniers travaux de

    Original URL path: http://www.inria.fr/centre/saclay/actualites/la-preuve-mathematique-par-informatique (2015-12-30)
    Open archived version from archive


  • Un grand succès pour la preuve informatique - Inria
    des sciences et technologies numériques pour tous ceux qui veulent innover avec la recherche publique Ce site a pour objectif de faciliter les échanges et encourager les collaborations entre le monde de l industrie et l ensemble des acteurs de la recherche au service de la société Lire la suite Transfert technologique Patrimoine logiciel d Inria Inria est à l origine d une importante production de logiciels Ci dessous quelques exemples de logiciels phares classés par secteur Retrouvez l intégralité du patrimoine logiciel sur iCOMMUNITY Lire la suite Partenariats Les partenariats stratégiques avec les grands industriels Les partenariats stratégiques que met en place Inria sont des partenariats bilatéraux et de long terme avec de grands groupes industriels formalisés dans un contrat cadre Un programme de recherche est élaboré conjointement pour Inria et son partenaire sur la base des thématiques prioritaires proposées par l industriel Des projets de recherche s inscrivant dans ce programme sont ensuite construits conjointement par les équipes d Inria et du partenaire De plus un comité de pilotage et un comité scientifique garantissent la cohérence et la bonne marche de la collaboration Lire la suite Création d entreprises 30 ans de création d entreprises Dircom 26 11 2014 1984 Inria devient actionnaire d une première société SIMULOG C est le début d une histoire de création d entreprises toujours en marche Dès aujourd hui et dans les mois qui viennent Inria donne un coup de projecteur sur ses 30 ans de belles aventures entrepreneuriales L occasion de rappeler que dans sa recherche d impact économique et sociétal la création d entreprises est une des voies qu Inria a décidé de privilégier Entretien avec Antoine Petit Président directeur général d Inria et Eric Horlait directeur général délégué au transfert et aux partenariats industriels d Inria Lire la suite Présentation Recherche Innovation Accueil Centre Saclay Actualités Un grand succès pour la preuve informatique Preuve informatique Françoise Breton 22 11 2012 Un grand succès pour la preuve informatique Inria Photo Kaksonen 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 Après la validation du théorème des quatre couleurs par le logiciel de certification Coq en 2005 c est au tour du théorème de Feit et Thompson de passer dans la moulinette de la preuve informatique La difficulté était cependant incomparable car si le théorème des quatre couleurs n utilise que des mathématiques combinatoires élémentaires le théorème de Feit et Thompson s appuie sur des mathématiques embrassant grosso modo le programme jusqu à la licence Il est également plus long avec ses 250 pages de démonstration et

    Original URL path: http://www.inria.fr/centre/saclay/actualites/un-grand-succes-pour-la-preuve-informatique (2015-12-30)
    Open archived version from archive