Helmut Schwichtenberg

Helmut Schwichtenberg is an emeritus professor of mathematics at Ludwig-Maximilians-Universit t M nchen. He has recently developed the 'proof-assistant' MINLOG, a computer-implemented logic system for proof/program development and extraction of computational content.