Théorème de théorie des groupes vérifié par ordinateur (Un) / Philippe Pajot | Pajot, Philippe
/5

0 avis

Théorème de théorie des groupes vérifié par ordinateur (Un) / Philippe Pajot

Article

Pajot, Philippe

En codant de nombreuses théories d'algèbre, des informaticiens sont parvenus à vérifier par ordinateur la démonstration d'un important théorème de théorie des groupes. Ce succès ouvre la voie à la vérification de problèmes mathématiques difficiles.

Voir le numéro de la revue «La Recherche, 471, Jan. 2013»

Autres articles du numéro «La Recherche»

Suggestions

Du même auteur

Comment vibrent les espaces abstraits issus de l'arithmétique ? / Philippe Pajot | Pajot, Philippe

Comment vibrent les espaces abstraits issus d...

Article | SYRACUSE | Pajot, Philippe | 2013

Mettant à profit les nouveaux liens qui se tissent entre géométrie et arithmétique, une équipe française a démontré une conjecture datant de 1992 sur la manière dont vibrent certains espaces géométriques abstraits issus de la théo...

L' Estimation du nombre de points rationnels sur des surfaces / Philippe Pajot | Pajot, Philippe

L' Estimation du nombre de points rationnels ...

Article | SYRACUSE | Pajot, Philippe | 2013

Arithmétique et géométrie sont intimement liées dans les travaux visant à compter les points à coordonnées rationnelles sur des surfaces. Une conjecture pour une famille de surface vient d'être résolue.

Géométrie sur des ensembles de points isolés / Philippe Pajot | Pajot, Philippe

Géométrie sur des ensembles de points isolés ...

Article | SYRACUSE | Pajot, Philippe | 2013

Comment étudier des ensembles de points où tout est identique à une partie ? A l'aide d'une fonction particulière. Driss Essouabri nous livre les fondements d'une nouvelle théorie qui vise à comprendre la géométrie de ces ensemble...

Hervé This ou les saveurs atomisées / Philippe Pajot | Pajot, Philippe

Hervé This ou les saveurs atomisées / Philipp...

Article | SYRACUSE | Pajot, Philippe | 2013

Manger des aliments ? Dépassé ! Pionnier de la cuisine moléculaire, le chimiste concocte désormais les recettes du futur avec des composés purs.

Coq. Les maths ont trouvé leur maître / Philippe Pajot | Pajot, Philippe

Coq. Les maths ont trouvé leur maître / Phili...

Article | SYRACUSE | Pajot, Philippe | 2013

Pour qu'un théorème soit juste, il faut qu'il soit démontré. Ce qui nécessite des dizaines et des dizaines de pages de raisonnement... qu'un logiciel, baptisé Coq, permet aujourd'hui de vérifier automatiquement et, surtout, de val...

Fondateurs de la géométrie arithmétique reçoit le prix Abel (Un des) / Philippe Pajot | Pajot, Philippe

Fondateurs de la géométrie arithmétique reçoi...

Article | SYRACUSE | Pajot, Philippe | 2013

L'Académie des sciences norvégienne a attribué le prix Abel 2013 au Belge Pierre Deligne, dont l'influence en géométrie arithmétique se fait sentir jusque dans des travaux très récents.

Du même sujet

Théorèmes, l'ordinateur fait ses preuves / Philippe Pajot | Pajot, Philippe

Théorèmes, l'ordinateur fait ses preuves / Ph...

Article | SYRACUSE | Pajot, Philippe | 2013

Il y a quelques mois, le théorème Feit-Thompson, monument de l'algèbre, devenait une certitude. Grâce à des outils informatiques performants, nouveaux assistants des mathématiciens.

Le Rubik's Cube : pas plus de 20 mouvements ! / Jean-Paul Delahaye | Delahaye, Jean-Paul

Le Rubik's Cube : pas plus de 20 mouvements !...

Article | SYRACUSE | Delahaye, Jean-Paul | 2011

Le cube de Rubik est le numéro un de tous les casse-tête. Trente ans après son invention, on continue à y jouer et à résoudre les problèmes qu'il pose.

Dessous des cartes du rulpidon (Le) / Sylvie Benzoni-Gavage | Benzoni-Gavage, Sylvie (1967-....)

Dessous des cartes du rulpidon (Le) / Sylvie ...

Article | SYRACUSE | Benzoni-Gavage, Sylvie (1967-....) | 2024

L'étude des surfaces mathématiques trouées constitue un défi de taille. Pour appréhender le rulpidon, figure emblématique à trois trous, on s'interroge sur la possibilité de le " cartographier " en respectant certaines contraintes...

Chargement des enrichissements...