La cellule virtuelle / Magali Roux-Rouquié 

Public ISBD Titre : La cellule virtuelle Type de document : document électronique Auteurs : Magali Roux-Rouquié, Auteur Importance : [env. 1p.] Langues : Français Catégories : 0010 démarche scientifique:démarche scientifique:technique de recherche 1505 biologie:biologie cellulaire 3110 informatique:informatique appliquée:informatique scientifique Mots-clés : technique de modélisation Résumé : Projets (Europe, Amérique, Japon) de modélisation sur ordinateur de la cellule et de ses principes de fonctionnement, intégrant toutes les connaissances acquises, dans le but, à terme, de conduire des expérimentations virtuelles mettant en jeu les différents processus cellulaires. Nature du document : documentaire Genre : Documentaire Niveau : Classe de 1ère/Classe de Terminale/lycée/Secondaire En ligne : http://www.cnrs.fr/cw/dossiers/doscel/decouv/xtxt/zvie/virtuelNiv2_1.htm La cellule virtuelle [document électronique] / Magali Roux-Rouquié, Auteur . - [s.d.] . - [env. 1p.]. Langues : Français Catégories : 0010 démarche scientifique:démarche scientifique:technique de recherche 1505 biologie:biologie cellulaire 3110 informatique:informatique appliquée:informatique scientifique Mots-clés : technique de modélisation Résumé : Projets (Europe, Amérique, Japon) de modélisation sur ordinateur de la cellule et de ses principes de fonctionnement, intégrant toutes les connaissances acquises, dans le but, à terme, de conduire des expérimentations virtuelles mettant en jeu les différents processus cellulaires. Nature du document : documentaire Genre : Documentaire Niveau : Classe de 1ère/Classe de Terminale/lycée/Secondaire En ligne : http://www.cnrs.fr/cw/dossiers/doscel/decouv/xtxt/zvie/virtuelNiv2_1.htm

Georges Gonthier, "hacker" de théorèmes / Philippe Pajot in Les Chemins de la Mémoire, 21537 Science (16/04/2014)

Public ISBD [article]  inLes Chemins de la Mémoire > 21537 Science (16/04/2014) . - p.7 Titre : Georges Gonthier, "hacker" de théorèmes Type de document : texte imprimé Auteurs : Philippe Pajot, Auteur Editeur : Le Monde Editions Année de publication : 2014 Article en page(s) : p.7 Langues : Français Catégories : 1305 mathématiques:mathématique:logique mathématique:démonstration mathématique 3110 informatique:informatique appliquée:informatique scientifique Mots-clés : métier : informatique et multimédia Résumé : Présentation du parcours professionnel de l'informaticien Georges Gonthier et de son domaine de recherche, la vérification de preuves mathématiques : études, laboratoires fréquentés, travaux de recherche ; formalisation de théorèmes mathématiques, notamment le théorème des quatre couleurs et le théorème de l'ordre impair ; perspectives. Nature du document : documentaire Genre : Article de périodique [article] Georges Gonthier, "hacker" de théorèmes [texte imprimé] / Philippe Pajot, Auteur . - [S.l.] : Le Monde Editions, 2014 . - p.7. Langues : Français in Les Chemins de la Mémoire > 21537 Science (16/04/2014) . - p.7 Catégories : 1305 mathématiques:mathématique:logique mathématique:démonstration mathématique 3110 informatique:informatique appliquée:informatique scientifique Mots-clés : métier : informatique et multimédia Résumé : Présentation du parcours professionnel de l'informaticien Georges Gonthier et de son domaine de recherche, la vérification de preuves mathématiques : études, laboratoires fréquentés, travaux de recherche ; formalisation de théorèmes mathématiques, notamment le théorème des quatre couleurs et le théorème de l'ordre impair ; perspectives. Nature du document : documentaire Genre : Article de périodique

---

page 1/1