Wolfgang Haken is most known for his work on three dimensional manifolds. Such is his prominence in this field that three dimensional manifolds are often referred to as Haken manifolds. Haken has also published extensively on four color map theorem, a...

German-American mathematician who in 1976 submitted the first mathematical proof that depended on computer assistance. This proof, that the four-color map conjecture was true, was a watershed event in mathematics, ushering in an era of proofs...

Wolfgang Haken (born June 21, 1928) is a mathematician who specializes in topology, in particular 3-manifolds. In 1976 together with colleague Kenneth Appel at the University of Illinois at Urbana-Champaign, Haken solved one of the most famous problems...