During the 1960s and 1970s German mathematician Heinrich Heesch developed methods of using computers to search for a proof.
Κατά τη διάρκεια των δεκατιών του 1960 και του 1970, ο Γερμανός μαθηματικός Heinrich Heesch ανέπτυξε μεθόδους χρήσης του υπολογιστή, στην έρευνα για μια απόδειξη.