Syracuse

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

Trente années qui ébranlèrent la physique : h...

Livre | Gamow, George | 1968

Octonions pour la théorie des cordes (Des) / ...

Article | SYRACUSE | Baez, John | 2011

D'après la théorie des cordes, l'Univers serait doté d'un espace-temps de dimension 10 ou 11. Un système de nombres découvert au XIXe siècle et quelque peu oublié depuis en fournit peut-être l'explication la plus simple.

L’Univers décrypté par les énigmes

Livre numérique | Vafa, Cumrun | 2021

Personne n'a jamais vu un électron / Bernard ...

Article | SYRACUSE | Romney, Bernard | 2014

Les particules élémentaires qui constituent la matière sont caractérisées par les effets qu'elles produisent. Nous savons aussi les décrire mathématiquement. Mais leur nature intime nous échappe.

L' Univers est-il mathématique ? / Jean-Paul ...

Article | SYRACUSE | Delahaye, Jean-Paul | 2010

Pour expliquer la déraisonnable efficacité des mathématiques, Max Tegmark suggère une méthode radicale : considérer que le monde physique est purement mathématique.

Prouver la complexité du quantique / Thomas V...

Article | SYRACUSE | Vidick, Thomas | 2021

En 1935, Albert Einstein propose, avec Boris Podolsky et Nathan Rosen, que deux particules puissent être liées, même si elles sont séparées par de très grandes distances - c'est l'intrication quantique. L'année suivante, le Britan...