In der Mathematik sind Haken-Mannigfaltigkeiten 3-dimensionale Mannigfaltigkeiten, die sich entlang inkompressibler Flächen in einfache Stücke zerschneiden lassen und deswegen einer algorithmischen Behandlung zugänglich sind. Sie sind benannt nach Wolfgang Haken.