Bruno Buchberger

Bruno Buchberger Obrázek v Infoboxu. Životopis
Narození 22. října 1942
Innsbruck
Státní příslušnost rakouský
Výcvik University of Innsbruck
Činnosti Matematik , univerzitní profesor
Jiná informace
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 .

Životopis a díla

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.

Reference

  1. (in) ACM Honors Bruno Buchberger, inovátor automatizovaných nástrojů pro matematiku , Dr. Dobb's Journal , 15. května 2008.
  2. (de) Webové stránky Softwarového parku

externí odkazy