Détail de l'auteur
Documents disponibles écrits par cet auteur (10)
Ajouter le résultat dans votre panier Affiner la recherche Interroger des sources externes
Article : texte imprimé
Explications du fonctionnement de l'horloge à atomes froids ou "fontaine atomique" : les étapes de la mise en oeuvre du projet Pharao, horloge à atomes froids qui sera associée à la station spatiale internationale en 2016 et qui permettra de vér[...]
Article : texte imprimé
Entretien avec l'astrophysicien Philippe Pajot sur les révolutions du temps scientifique au 20e siècle avec les théories de la relativité restreinte puis générale, la notion d'espace-temps, l'horloge atomique, la datation radiométrique. Encadrés[...]
Article : texte imprimé
Enquête sur le logiciel Coq permettant de vérifier l’exactitude des théorèmes mathématiques : retour sur le fonctionnement de ce programme informatique capable de vérifier les raisonnements ; historique de ce travail de preuves à partir du théor[...]
Article : texte imprimé
Le point sur la recherche de planètes hors du Système solaire (exoplanète) : méthode de détection, matériel utilisé, résultats obtenus. Encadré : les superterres habitables.
Article : texte imprimé
Présentation chronologique des recherches scientifiques de Hervé This, physico-chimiste sur la gastronomie moléculaire et la cuisine note à note: explications, exemples, chefs adeptes de la cuisine moléculaire.
Article : texte imprimé
Le point sur les avancées de la recherche sur les nombres premiers.
Article : texte imprimé
Le point sur les idées neuves en mathématiques : retour sur l’histoire de l’avènement des "maths modernes" jusqu’au développement de la notion de type par Bertrand Russel ; explications concernant l’évolution des théories, des systèmes et de la [...]
Article : texte imprimé
Reportage, en 2011, dans les petites îles de la Polynésie, sur les difficultés des éleveurs d'huîtres perlières. Solutions proposées par l'Ifremer pour sélectionner les huîtres et améliorer la technique du greffon.
Article : texte imprimé
Quelques exemples de concepts mathématiques issus des civilisations anciennes : le théorème dit de Pythagore, le temps en base 60 des Babyloniens, le triangle de Pascal, le nombre pi chez les Egyptiens, la trigonométrie en Inde, le zéro.
Article : texte imprimé
Le point sur la vérification du théorème de Feit-Thompson par l'équipe de Georges Gonthier du Centre commun de recherche Inria-Microsoft en septembre 2012, grâce aux outils informatiques : du théorème à sa démonstration, la question de l'efficac[...]
