Besonderhede van voorbeeld: 9138554779210856263

Greek

Για να διαλυθούν οι αμφιβολίες που παρέμεναν σχετικά με την απόδειξη των Appel – Haken, το 1997 δημοσιεύθηκε μία απλούστερη απόδειξη, που χρησιμοποιούσε την ίδια ιδέα και παρέμενε βασισμένη σε υπολογιστές, από τους Robertson, Sanders, Seymour, και Thomas.

English

To dispel any remaining doubts about the Appel–Haken proof, a simpler proof using the same ideas and still relying on computers was published in 1997 by Robertson, Sanders, Seymour, and Thomas.