In particular, he was the first to investigate the notion of "discharging", which turned out to be a fundamental ingredient of the eventual computer-aided proof by Kenneth Appel and Wolfgang Haken.
Heinrich Himmler | Heinrich Heine | Heinrich Schütz | Johann Heinrich Pestalozzi | Heinrich von Kleist | Heinrich Böll | Heinrich Isaac | Heinrich Marschner | Baron Hans Heinrich Thyssen-Bornemisza | Heinrich Mann | Heinrich Hertz | Heinrich Graetz | Heinrich Böll Foundation | Christian Heinrich Friedrich Peters | Wilhelm Heinrich Roscher | Johann Heinrich Lambert | Heinrich von Breymann | Heinrich Finck | Heinrich Zimmer | Heinrich Wilhelm Ernst | Heinrich Wilhelm Dove | Heinrich Wild | Heinrich von Bibra | Heinrich Schenker | Heinrich Nordhoff | Heinrich Leutemann | Heinrich Gustav Magnus | Ernst Heinrich Weber | Wilhelm Heinrich, Duke of Saxe-Eisenach | Wilhelm Heinrich |