Bibliothèques de Bourges

Théorème de théorie des groupes vérifié par o...

Article | SYRACUSE | Pajot, Philippe | 2013

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éma...

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 ...

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 ...

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 / 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 / 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...

Théorème de théorie des groupes vérifié par o...

Article | SYRACUSE | Pajot, Philippe | 2013

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éma...

L' Ordinateur démontre le théorème des 4 coul...

Article | SYRACUSE | Monnier, Emmanuel | 2016

Kenneth Appel et Wolfgang Haken ont démontré, pour la première fois à l'aide d'un ordinateur, que 4 couleurs suffisent pour colorier une carte dans laquelle tous pays contigus ont des couleurs différentes.

Paver le plan avec un pentagone convexe / Jea...

Article | SYRACUSE | Delahaye, Jean-Paul | 2017

L'ordinateur est parfois bon géomètre. C'est en l'utilisant qu'un mathématicien français vient de mettre le point final à la solution du problème des polygones convexes permettant de recouvrir le plan.

Mathématiques face au défi des machines (Les)...

Article | SYRACUSE | Harris, Michael (1954-....) | 2022

Des logiciels capables de vérifier des démonstrations très difficiles, des intelligences artificielles en mesure de formuler des conjectures... Des performances vertigineuses qui amènent les mathématiciens à s'interroger sur la pl...

Les Preuves de travail / Jean-Paul Delahaye

Article | SYRACUSE | Delahaye, Jean-Paul | 2014

Donner à des ordinateurs des problèmes à résoudre permet de les freiner. Cette procédure est utile pour lutter contre les attaques sur le réseau Internet, pour limiter l'envoi de spams ou pour organiser des courses entre machines....

À la conquête des maths avec Python

Livre numérique | Farrell, Peter | 2020