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

Histoire des sciences et techniques / Hélène ...

Livre | Pince, Hélène. Auteur | 2010

Une histoire chronologique des sciences et des techniques qui s'étend de la préhistoire jusqu'au monde contemporain. L'ouvrage montre que toutes les civilisations humaines ont contribué à l'émergence du monde moderne.

Patrick Michel : Comment faire face aux risqu...

Article | SYRACUSE | Cirou, Alain | 2016

Le ciel peut-il nous tomber sur la tête ? Le 30 juin 2016, et pour la seconde année consécutive, astronomes et astronautes vont attirer l'attention du public et des gouvernements sur les astéroïdes. Potentiels tueurs de masse, mai...

Sentinelles pour chasser les météorites (Des)...

Article | SYRACUSE | Bourdet, Julien | 2009

Des réseaux de surveillance installés un peu partout dans le monde par les astronomes, traquent chaque nuit les pierres venues du ciel. Des outils indispensables pour retrouver les cailloux au sol et mesurer les quantités qui tomb...

Les Trésors cachés des cratères d'impact / Ch...

Article | SYRACUSE | Frankel, Charles | 2016

Les collisions d'astéroïdes sur Terre évoquent le chaos et la destruction. En revanche, leurs cratères constituent de véritables trésors : des gisements de cuivre et de nickel, d'or et d'uranium... voire de pétrole.

A la chasse aux pierres extraterrestres dans ...

Article | SYRACUSE | Gattacceca, Jérôme (1973-....) | 2018

Pour trouver des météorites à étudier, Jérôme Gattacceca et ses collègues passent les déserts au peigne fin, comme d'autres iraient traquer les champignons. De l'Atacama chilien à l'Antarctique, le développement des campagnes de c...

La Menace des astéroïdes bien cernée

Article | SYRACUSE | 2011