Bruno Buchberger

Bruno Buchberger Kép az Infoboxban. Életrajz
Születés 1942. október 22
Innsbruck
Állampolgárság osztrák
Kiképzés Innsbrucki Egyetem
Tevékenységek Matematikus , egyetemi tanár
Egyéb információk
Dolgozott valakinek Linzi Egyetem
Tagja valaminek Bajor Tudományos Akadémia
Academia Europaea (1991)
Felügyelő Wolfgang Gröbner
Díjak

Bruno Buchberger egy osztrák matematikus született1942. október 22A Innsbruck . Ismert a Gröbner-alapok meghatározásáról , valamint a nevét viselő algoritmusról ezeknek az alapoknak a kiszámítására . Buchberger a matematika professzora a linzi egyetemen .

Életrajz és művek

1960 és 1966 között Buchberger matematikát tanult az Innsbrucki Egyetemen , valamint kísérleti fizikát és filozófiát .

Az ő értekezését „című  Egy algoritmust találni egy vektor alapján hányados gyűrű egy polinom ideális a nulla dimenzió  ” ( Ein algoritmustól zum Auffinden der Basiselemente des Restklassenrings nach einem nulldimensionalen Polynomideal ) és a támogatott 1965-ben, Buchberger alakult az elmélet alapjait de Gröbner, témavezetője, Wolfgang Gröbner után kapta a nevét . Leír egy olyan algoritmust is, amely lehetővé teszi a polinomideál Gröbner-alapjának kiszámítását az ideál generátorából és a monomálisok sorrendjéből. Ezt az algoritmust később finomítják. Ezek a munkák nagyon fontosak az algebrai geometriában , a kommutatív algebrában és a nemlineáris geometriában.

Buchberger 1973-ban támogatja a matematika felhatalmazását "A Gödel digitális kódolásának lebontásáról  " ( A gödeli számozás bomlásairól ) címmel . 1995 óta a Theorema projektben dolgozik a Linzi Egyetemen. A projekt célja automatizált bizonyítási megoldások integrálása a számítógépes algebra rendszerekbe. Hosszú távon a Theorema- nak olyan eszközöket kell bevezetnie , amelyek automatikusan elkészítik a tanfolyam-kézikönyveket, szöveggel, futtatható kóddal és igazolásokkal.

Buchberger 1985-ben alapította a Journal of Symbolic Computation-t , a számítógépes algebra egyik legfontosabb folyóiratát . Főszerkesztő 1995-ig maradt.

1987-ben Buchberger a Linzi Egyetemen megalapította a Szimbolikus Számítás Kutatóintézetét  ( RISC), egy számítógépes algebra kutatóintézetet, amelyet 1987 és 1999 között irányított. Ezután 1991-ben megalapította a "Szoftverparkot". a Hagenbergi im Mühlkreis az , ami még mindig igazgatója 2013-ban.

Buchberger 1991 óta az Európai Tudományos Akadémia tagja. Doktorált honoris causa címmel rendelkezik a nijmegeni (1993 óta) Temesváron (2000 óta) és Bathban (2005) található egyetemeken . 1999-ben megkapta az aranyérmet a felső-ausztriai Bundesland szövetségi kormányától . Ő is megkapta a párizsi Kanellakis díjat a ACM 2007-ben és Becsületkeresztet Tudományos és Kulturális az osztrák minisztérium Science.

Hivatkozások

  1. (in) Az ACM kitünteti Bruno Buchbergert, az automatizált matematikai eszközök innovátorát , Dr. Dobb's Journal , 2008. május 15.
  2. (de) Software Park honlapján

Külső linkek