Wolfgang Haken (German: [ˈvɔlfɡaŋ ˈhaːkn̩]; June 21, 1928 – October 2, 2022) was a German American mathematician who specialized in topology, in particular...

virtually Haken. This conjecture was proven by Ian Agol. Haken manifolds were introduced by Wolfgang Haken (1961). Haken (1962) proved that Haken manifolds...

contract in Japan Haken manifold, a type of 3-manifold named after Wolfgang Haken Eduard Haken (1910–1996), Czech operatic bass Hermann Haken (1927-2024),...

is a cousin of the mathematician Wolfgang Haken, who proved the Four color theorem. He was a nephew of Werner Haken, a doctoral student of Max Planck...

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

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

19, 2013) was an American mathematician who in 1976, with colleague Wolfgang Haken at the University of Illinois at Urbana–Champaign, solved one of the...

infinite fundamental group is virtually Haken. Haken manifolds were introduced by Wolfgang Haken. Haken proved that Haken manifolds have a hierarchy, where...

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 by showing...

ingredient of the eventual computer-aided proof by Kenneth Appel and Wolfgang Haken. Between 1967 and 1971, Heesch made several visits to the United States...