BJTL |

La Recherche /Gilles Dowek : Une preuve formelle du théorème des 4 couleurs. Gilles Dowek

Tipul înregistrării:	Text tipărit: analitic (parte componentă)
Autor:	Rittaud, Benoît
Responsabilitate:	Benoît Rittaud
Note:	Quatre couleurs suffisent pour colorier une carte géographique de sorte que deux pays voisins soient toujours de couleurs différentes. Établi en 1976 par K.Appel et W.Haken, ce résultat vient de recevoir une nouvelle démontration par ordinateur, réalisée par G.Gauthier, de Microsoft Research Cambridge, aidé de B.Werner, de l'Inria
Limba:	Franceză
În:	La Recherche/ Directeur Général Stéphane Khémis. Paris, 1999. Nr.385 (aprilie 2005), p.27
Rubrică:	Matematică
Subiect:	Dowek, Gilles
Clasificare:	51

LDR:00772naa# 2200121## 001 288240
009 ubfixit050.037 Gilles Dowek : Une preuve formelle du théorème des 4 couleurs
100 $a 20110628u########a##u1rumy50######ba
101 $a fre
200 $a La Recherche /Gilles Dowek $i Gilles Dowek $f Benoît Rittaud $b Revistă $e Une preuve formelle du théorème des 4 couleurs
300 $a Quatre couleurs suffisent pour colorier une carte géographique de sorte que deux pays voisins soient toujours de couleurs différentes. Établi en 1976 par K.Appel et W.Haken, ce résultat vient de recevoir une nouvelle démontration par ordinateur, réalisée par G.Gauthier, de Microsoft Research Cambridge, aidé de B.Werner, de l'Inria
463 $0 269399 $b Revistă $c Paris $d 1999 $f Directeur Général Stéphane Khémis $n La Société d'Éditions $t La Recherche $v Nr.385 (aprilie 2005), p.27
545 $a Matematică
606 $3 190237 $a Dowek, Gilles
675 $a 51
700 $3 145799 $a Rittaud $b Benoît
801 0 $a RO $b BJTL $c 20110627 $2 unimarc

Evaluări

Exportă

Filiala de unde se ridică