Vérité mathématique : L'ordinateur aura bientôt le dernier mot
Tallennettuna:
| Julkaisussa: | Science et vie No 1056 |
|---|---|
| Päätekijä: | |
| Aineistotyyppi: | Article de revue |
| Julkaistu: |
2005.
|
| Aiheet: | |
| Yhteenveto: | La récente validation du théorème des quatre couleurs l'annonce : trop complexes, les démonstrations ne pourront plus se passer de l'outil informatique. |
| Liittyvät tietueet: | Sisältyy julkaisuun:
Science et vie |
| Yhteenveto: | La récente validation du théorème des quatre couleurs l'annonce : trop complexes, les démonstrations ne pourront plus se passer de l'outil informatique. |
|---|---|
| Ulkoasu: | p. 90-95. |
| ISSN: | 0036-8369 |