Bruno Buchberger

Un article de Wikipédia, l'encyclopédie libre.

Cet article est une ébauche concernant un mathématicien.

Vous pouvez partager vos connaissances en l’améliorant. (Comment ?).

Bruno Buchberger est un mathématicien autrichien né le 22 octobre 1942 à Innsbruck. Buchberger est connu pour sa définition des bases de Gröbner ainsi que pour un algorithme de calcul des bases de Gröbner qui porte son nom. Buchberger est professeur de mathématiques pour l'ordinateur à la Johannes Kepler Universität de Linz en Autriche.

Entre 1960 et 1966, Buchberger suit des études de mathématiques à l'université d'Innsbruck, étudiant aussi la physique expérimentale et la philosophie.

Dans sa thèse de mathématiques intitulée « Un algorithme pour trouver une base vectorielle de la classe de résidu d'un anneau modulo un idéal polynomial de dimension zéro » (Ein Algorithmus zum Auffinden der Basiselemente des Restklassenrings nach einem nulldimensionalen Polynomideal) et soutenue en 1965, Buchberger fonde les bases de la théorie des bases de Gröbner, qu'il nomme selon le nom de son directeur de thèse, Wolfgang Gröbner. Il décrit aussi un algorithme permettant de calculer une base de Gröbner pour un idéal polynômial à partir d'un ensemble générateur de l'idéal et un ordre sur les monômes. Cet algorithme sera raffiné ultérieurement. Ces travaux sont très importants en géométrie algébrique, en algèbre commutative ou en géométrie non-linéaire.

Buchberger soutient une habilitation en mathématiques en 1973 sous le titre « Sur les décompositions des numérations de Gödel » (On Decompositions of Gödel Numberings). Depuis 1995, il travaille dans le projet Theorema de l'université de Linz.

Buchberger fonde en 1985 le Journal of Symbolic Computation, un des plus importants journaux en calcul formel.

En 1987, Buchberger fonde et dirige le Research Institute for Symbolic Computation (RISC), un institut de recherche internationale sur le calcul formel et situé à l'université Johannes Kepler de Linz.

Buchberger est membre de l'European Academy of Sciences depuis 1991. Il est titulaire d'un doctorat honoris causa des universités de Nimègue (depuis 1993) et de Timişoara (depuis 2000). En 1999, il reçoit la médaille d'or du gouvernement fédéral du Bundesland de Haute-Autriche.