3 events with tag "computer proof"
1976
ID: 422
Kenneth Appel and Wolfgang Haken prove the Four Color Theorem using computer verification - first major computer-assisted proof
ID: 422
1976
ID: 4496
Kenneth Appel and Wolfgang Haken prove Four Color Theorem using computer assistance
ID: 4496
1998
ID: 4503
Thomas Hales announces computer-assisted proof of Kepler conjecture
ID: 4503