Kenneth Ira Appel (October 8, 1932 – April 19, 2013) was an American mathematician who in 1976, with colleague Wolfgang Haken at the University of Illinois...

authors of Rog-O-Matic. Andrew Appel is the son of mathematician Kenneth Appel, who proved the Four-Color Theorem in 1976. Appel graduated summa cum laude...

proven by Kenneth Appel and Wolfgang Haken. This came after many false proofs and mistaken counterexamples in the preceding decades. The Appel-Haken proof...

color theorem, first stated in 1852, but not proved until 1976 (by Kenneth Appel and Wolfgang Haken, using substantial computer assistance). In logic...

ultimately proven in 1976 by Kenneth Appel and Wolfgang Haken. It was the first major theorem to be proved using a computer. Appel and Haken's approach started...

Appel (born 1958), Dutch documentary filmmaker Karel Appel (1921–2006), Dutch painter Kenneth Appel (1932–2013), American mathematician Kevin Appel (born...

problem using computers. A computer-aided proof produced in 1976 by Kenneth Appel and Wolfgang Haken makes fundamental use of the notion of "discharging"...

validity. The term was coined by Thomas Tymoczko in 1979 in criticism of Kenneth Appel and Wolfgang Haken's computer-assisted proof of the four color theorem...

 ed.). Reading, Mass. [u.a.]: Addison-Wesley. ISBN 978-0-201-55406-9. Kenneth Appel; Wolfgang Haken (26 July 1976). "Every Planar Map is Four-Colorable"...

lecturer at the University of New Hampshire, where he was hired by Kenneth Appel in 1999. Prior to getting back to academia, he worked for several years...