Bruno Buchberger

Bruno Buchberger Bild in der Infobox. Biografie
Geburt 22. Oktober 1942
Innsbruck
Staatsangehörigkeit österreichisch
Ausbildung Universität Innsbruck
Aktivitäten Mathematiker , Universitätsprofessor
Andere Informationen
Arbeitete für Universität Linz
Mitglied von Bayerische Akademie der Wissenschaften
Academia Europaea (1991)
Supervisor Wolfgang Gröbner
Auszeichnungen

Bruno Buchberger ist ein österreichischer Mathematiker, geboren am22. Oktober 1942in Innsbruck . Er ist bekannt für seine Definition von Gröbner-Basen sowie für den Algorithmus zur Berechnung dieser Basen, der seinen Namen trägt . Buchberger ist Professor für Mathematik für Informatik an der Universität Linz .

Biographie und Werke

Zwischen 1960 und 1966 studierte Buchberger Mathematik an der Universität Innsbruck , als auch experimentelle Physik und Philosophie .

In seiner Arbeit mit dem Titel „  Ein Algorithmus für eine Vektor Grundlage des Befunds Quotienten Ring durch ein Polynom ideal Null Dimension  “ ( Ein Algorithmus zum auffinden der Basiselemente des Restklassenrings nach Einem nulldimensionalen Polynomideal ) und 1965 unterstützt, gegründet Buchberger der Theorie der Basen de Gröbner, benannt nach seinem Diplomarbeitsleiter Wolfgang Gröbner . Es wird auch ein Algorithmus beschrieben , der es ermöglicht, eine Gröbner-Basis für ein Polynomideal aus einem Generatorsatz des Ideals und einer Ordnung auf den Monomen zu berechnen. Dieser Algorithmus wird später verfeinert. Diese Arbeiten sind sehr wichtig in der algebraischen Geometrie , der kommutativen Algebra und der nichtlinearen Geometrie.

Buchberger unterstützt das Empowerment in der Mathematik 1973 unter dem Titel "Über die Zerlegung der digitalen Kodierung Gödel  " ( Über Zerlegungen von Gödel-Nummerierungen ). Seit 1995 arbeitet er im Theorema- Projekt an der Universität Linz. Ziel des Projekts ist es, automatisierte Proof-Lösungen in Computeralgebra-Systeme zu integrieren. Langfristig muss Theorema Tools einrichten , mit denen Kurshandbücher automatisch mit Text, ausführbarem Code und Beweisen erstellt werden können.

Buchberger gründete 1985 das Journal of Symbolic Computation , eine der wichtigsten Zeitschriften der Computeralgebra . Er blieb bis 1995 Chefredakteur.

1987 gründete Buchberger an der Universität Linz das Forschungsinstitut für Symbolische Berechnung  ( RISC), ein Forschungsinstitut für Computeralgebra , das er von 1987 bis 1999 leitete. 1991 gründete er den "Software Park", einen technologischen Aktivitätspark in Hagenberg im Mühlkreis, dessen Direktor er 2013 noch ist.

Buchberger ist seit 1991 Mitglied der Europäischen Akademie der Wissenschaften . Er promovierte ehrenamtlich an den Universitäten von Nimwegen (seit 1993) bei Timisoara (seit 2000) und Bath (2005). 1999 erhielt er die Goldmedaille von der Bundesregierung des Bundeslandes von Ober Österreich . 2007 erhielt er von der ACM den Pariser Kanellakis-Preis und vom österreichischen Wissenschaftsministerium das Ehrenkreuz für Wissenschaft und Kultur.

Verweise

  1. (in) ACM ehrt Bruno Buchberger, Innovator für automatisierte Werkzeuge für die Mathematik , Dr. Dobbs Journal , 15. Mai 2008.
  2. (de) Software Park-Website

Externe Links