Narození |
22. října 1942 Innsbruck |
---|---|
Státní příslušnost | rakouský |
Výcvik | University of Innsbruck |
Činnosti | Matematik , univerzitní profesor |
Pracoval pro | Univerzita v Linci |
---|---|
Člen |
Bavorská akademie věd Academia Europaea (1991) |
Dozorce | Wolfgang Gröbner |
Ocenění |
Bruno Buchberger je rakouský matematik, který se narodil22. října 1942v Innsbrucku . Je známý svou definicí Gröbnerových bází a také algoritmem pro výpočet těchto bází, který nese jeho jméno . Buchberger je profesorem matematiky pro informatiku na univerzitě v Linci .
Mezi lety 1960 a 1966, Buchberger studoval matematiku na tlačítko univerzitě v Innsbrucku , jakož i experimentální fyziku a filozofii .
Ve své práci nazvané „ Algoritmus pro nalezení vektoru základ faktorokruh pomocí polynomu ideálu nulové dimenze “ ( Ein Algorithmus zum Auffinden der Basiselemente des Restklassenrings nach einem nulldimensionalen Polynomideal ) a podporovaný v roce 1965, Buchberger založil teorii základen de Gröbner, pojmenoval podle jeho vedoucí práce, Wolfgang Gröbner . Popisuje také algoritmus umožňující vypočítat Gröbnerův základ pro polynomický ideál z generátorové sady ideálu a řádu na monomálech. Tento algoritmus bude upřesněn později. Tyto práce jsou velmi důležité v algebraické geometrii , komutativní algebře a nelineární geometrii.
Buchberger podporuje posílení postavení v matematice v roce 1973 pod názvem „O rozkladu digitálního kódování Gödel “ ( O rozkladech Gödelova číslování ). Od roku 1995 pracuje v projektu Theorema na univerzitě v Linci. Cílem projektu je integrovat automatizovaná kontrolní řešení do systémů počítačové algebry. Z dlouhodobého hlediska musí Theorema zavést nástroje k automatickému vytváření příruček kurzů s textem, spustitelným kódem a důkazy.
Buchberger založil v roce 1985 Journal of Symbolic Computation , jeden z nejdůležitějších časopisů v počítačové algebře . Zůstal šéfredaktorem až do roku 1995.
V roce 1987 založil Buchberger na univerzitě v Linci Výzkumný ústav pro symbolické výpočty ( RISC), výzkumný ústav počítačové algebry, který řídil v letech 1987 až 1999. Poté v roce 1991 založil „Softwarový park“. v Hagenberg im Mühlkreis, jehož je stále ředitelem v roce 2013.
Buchberger je členem Evropské akademie věd od roku 1991. Získal doktorát honoris causa z univerzit Nijmegen (od roku 1993) do Temešvár (od roku 2000) a vanou (2005). V roce 1999 získal zlatou medaili z federální vládou spolkové části Horního Rakouska . V roce 2007 také obdržel Pařížskou cenu Kanellakis od ACM a čestný kříž za vědu a kulturu od rakouského ministerstva vědy.