1 paper · 1 filter
V. Vilfred Kamalappan
In 1976, Appel and Haken achieved a major break through by proving the four color theorem (4CT). Their proof is based on studying a large number of cases for which a computer-ass…