Michael Pohst

mini|Michael Pohst (2010)

Michael E. Pohst (* 5. Juni 1945) ist ein deutscher Mathematiker, der sich mit algebraischer Zahlentheorie, Computeralgebra und algorithmischer Zahlentheorie beschäftigt.

Pohst promovierte 1973 an der Universität Köln bei Curt Meyer (Mehrklassige Geschlechter von Einheitsformen in total reellen algebraischen Zahlkörpern). Er war Professor an der Universität Düsseldorf und ist heute Professor an der TU Berlin.

Pohst befasste sich insbesondere mit der Entwicklung von Algorithmen in der algebraischen Zahlentheorie, zum Beispiel zur Bestimmung von Klassenzahlen und Klassengruppen sowie von Einheiten, teilweise mit Hans Zassenhaus, mit dem er darüber eine Monographie schrieb. Von ihm und Ulrich Fincke stammt der Fincke-Pohst-Algorithmus für die Berechnung von kurzen und kürzesten Vektoren in einem Zahlengitter. Dieser Algorithmus wird u. a. in der Signalauswertung für die GPS-Positionsbestimmung eingesetzt (Verfahren ''sphere decoding'').

Pohst leitet die Entwicklung der zahlentheoretischen Computeralgebra-Software Kant.

1999 bis 2002 war er stellvertretender Sprecher der Fachgruppe Computeralgebra der DMV, GAMM und GI. Veröffentlicht in Wikipedia