Calculus | The Calculus Affair | Calculus (AB & BC) | calculus | Itō calculus | Calculus of variations | Regge calculus | Professor Calculus | vector calculus | Superposition principle | Rod calculus | Quantum superposition | operational calculus | Multivariable Calculus | Multivariable calculus | law of superposition | Ito Calculus | Fundamental lemma of calculus of variations | calculus of variations | Calculus of communicating systems |
Harald Ganzinger (October 31, 1950, Werneck – June 3, 2004, Saarbrücken) was a German computer scientist that together with Leo Bachmair developed the superposition calculus, which is (as of 2007) used in most of the state-of-the-art automated theorem provers for first-order logic.