Volker Weispfenning

Volker Weispfenning

Volker B. Weispfenning (* 1944 in Frankfurt am Main) ist ein deutscher Mathematiker, der sich mit mathematischer Logik (Modelltheorie) und Computeralgebra beschäftigt.

Volker Weispfenning 1988

Weispfenning studierte ab 1963 Mathematik an der Ruprecht-Karls-Universität Heidelberg, wo er 1968 sein Diplom machte und 1971 bei Peter Roquette promovierte. 1971 bis 1973 war er als Post-Doc an der Yale University und 1973/74 am Institute for Advanced Study. Ab 1974 war er Assistent und nach der Habilitation 1979 ab 1981 Professor an der Universität Heidelberg. Ab 1987 war er Professor an der Universität Passau, wo er 2007 emeritierte. Er war Gastprofessor an der Yale University (1985) und der Universität Dortmund (1986).

Mit Thomas Becker ist er Verfasser einer Monographie über Gröbner-Basen.

1986/87 war er Heisenberg-Stipendiat. 1990 bis 1993 leitete er die Fachgruppe Computeralgebra der DMV, GAMM und GI.

Schriften

  • mit Thomas Becker: Gröbner Basis, Springer 1993
  • mit D. Saracino (Herausgeber): Model Theory and Algebra, Springer, Lecturenotes in Mathematics, Bd. 498, 1975
  • mit J. Grabmeier, E. Kaltofen (Herausgeber): Handbook of Computer Algebra, Springer 2002

Weblinks


Wikimedia Foundation.

Игры ⚽ Поможем написать реферат

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Elimination des quantificateurs — Élimination des quantificateurs En algorithmique ou en logique mathématique, l élimination des quantificateurs est l action de remplacer une formule d une certaine logique contenant éventuellement des quantificateurs ∀ ou ∃ par une formule… …   Wikipédia en Français

  • Élimination des quantificateurs — En algorithmique ou en logique mathématique, l élimination des quantificateurs est l action consistant à remplacer une formule d une certaine logique contenant éventuellement des quantificateurs ∀ ou ∃ par une formule équivalente (admettant les… …   Wikipédia en Français

  • Gröbner basis — In computer algebra, computational algebraic geometry, and computational commutative algebra, a Gröbner basis is a particular kind of generating subset of an ideal I in a polynomial ring R. One can view it as a multivariate, non linear… …   Wikipedia

  • Peter Roquette — am Workshop “The Arithmetic of Fields” in Oberwolfach, 2006 Peter Jaques Roquette (* 8. Oktober 1927 in Königsberg) ist ein deutscher Mathematiker, der sich mit algebraischer Geometrie, Algebra und Zahlentheorie beschäftigt. Roquette studie …   Deutsch Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”