Category:Definitions/Named Definitions/Haken

From ProofWiki
Jump to navigation Jump to search

This category contains definitions named for Wolfgang Haken.

German mathematician mainly involved in topology where the bulk of his work has been on 3-dimensional manifolds.

In $1976$, along with Kenneth Ira Appel, proved the Four Color Theorem with the help of a computer.

This category currently contains no pages or media.