Wolfgang Haken 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 br... more
Wolfgang Haken 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 increasingl... more
