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 wat...
Read more
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...
Read more
Wolfgang Haken
Wolfgang Haken