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

La naissance du monde en cent épisodes / écri...

Livre | Fichou, Bertrand (1962-....). Auteur | 2020

Une centaine de récits scientifiques et littéraires sur les origines de l'univers, des astres et de la vie. L'évolution des espèces, la domestication du feu par l'homme et la création du langage sont également racontées.

Eau terrestre : Elle vient de l'espace / Serg...

Article | SYRACUSE | Brunier, Serge | 2010

Les Météorites de fer, témoins de la naissanc...

Article | SYRACUSE | Roskosz, Mathieu | 2017

Comment établir le scénario de formation des planètes du Système solaire, et en particulier de la Terre ? L'analyse déterminante de la composition chimique et isotopique des météorites a fait émerger une description dynamique des ...

L' Evolution des minéraux / Robert Hazen

Article | SYRACUSE | Hazen, Robert | 2010

Collisions, fusions, tectonique des plaques, réactions chimiques ont façonné les minéraux depuis la naissance de la Terre. La plupart des espèces minérales connues doivent cependant leur existence à l'apparition des organismes viv...

La Lune est-elle fille de la Terre ? / Marie-...

Article | SYRACUSE | La Souchère, Marie-Christine de | 2013

Durant plus d'un siècle, les circonstances qui ont présidé à la naissance de la Lune ont alimenté les spéculations les plus vives. Et ce n'est pas tout à fait terminé.

Enquête cosmique sur les origines de l'eau de...

Article | SYRACUSE | Baruch, Jacques-Olivier | 2015

Les mesures de la sonde Rosetta confirment que l'eau de la Terre ne provient pas des comètes. L'hypothèse des astéroïdes primitifs est désormais privilégiée.