Les métamorphoses du calcul théorie des groupes Le célèbre détective est décidément

Le célèbre détective est décidément confronté à un personnage aussi secret qu’inquiétant et il n’est pas au bout de ses surprises… Notes de lecture Tangente Voilà un peu plus de deux ans qu’il était attendu : le second tome de la bande dessinée « Dans la tête de Sherlock Holmes » est enfin disponible

Ecole Polytechnique

Un livre-outil autant qu'un livre de plaisir

Les deux plus grands défis pour les joueurs d'échecs débutants sont non seulement de survivre à cette phase d'ouverture

auteur chez Ellipses

Les métamorphoses du calcul théorie des groupes Le célèbre détective est décidémentNotre avis Gilles Dowek, chercheur l'Inria et professeur l'ENS Paris Saclay, retrace dans ce livre prim du Grand Prix de Philosophie de l'Acadmie franaise 2007 une rvolution silencieuse : depuis les annes 1970, le calcul automatique dispute la dmonstration sa place centrale dans les mathmatiques. Cette mtamorphose profonde redfinit ce qu'est une preuve, renouvelle le dialogue entre maths et sciences naturelles, et ouvre des perspectives indites sur ce