No label defined (Q4501634)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 1500612
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | No label defined |
scientific article; zbMATH DE number 1500612 |
Statements
12 February 2001
0 references
map coloring
0 references
planar graph coloring
0 references
computer assisted proofs
0 references
0.8130194544792175
0 references
0.8087062835693359
0 references
A survey of the four-colour problem: an outline of its history from 1852 till 1997 with the relevant bibliographical data, a presentation of the way which eventually led K. Haken and W. Appel to the computer assisted conquest in 1976, main points of the ensuing debate, initiated by T. Tymoczko in 1979, on the relevance of computers in pure mathematics. Written in a rather informal style, the survey is easy to read. For the entire collection see [Zbl 0940.00005].
0 references
