Bruno Buchberger

Bruno Buchberger 2005

Bruno Buchberger (syntynyt Lokakuu 22, 1942 in Innsbruck ) on itävaltalainen matemaatikko .

Elämä

Hän osallistui Innsbruckin akateemiseen lukioon ja väitteli tohtoriksi vuonna 1966 Wolfgang Gröbnerin johdolla Innsbruckin yliopistossa aiheesta "Algoritmi jäännösluokan renkaan peruselementtien löytämiseksi nollapisteen polynomi-ideaalin mukaisesti". Väitöskirjansa avulla hän perusti teorian Gröbnerin perusteista ja Buchbergerin algoritmista , joilla on tärkeä rooli tietokonealgebrassa . Vuodesta 1974 lähtien hän on toiminut tietokonematematiikan varsinaisena professorina Linzin Johannes Keplerin yliopistossa , jossa hän perusti Symbolic Computing -tutkimuslaitoksen ( RISC-Linz ) vuonna 1987 .

tiede

Buchberger keksi 23 -vuotiaana teorian " Gröbner -perusteista ", joka on tietokonematematiikan perusmenetelmä, jota käytetään nykyään miljoonissa asennuksissa kaikissa nykyaikaisissa matemaattisissa ohjelmistojärjestelmissä ympäri maailmaa ja jonka parissa työskentelee lukuisia kansainvälisiä tutkimusryhmiä. Tähän mennessä Buchbergerin teoriaa on julkaistu yhteensä 10 oppikirjaa ja noin 1000 tieteellistä julkaisua. Gröbnerin perusteiden teoria on todennäköisesti eniten siteerattu itävaltalainen tietokonematematiikan tutkimustulos (yli 3000 viittausta tutkimusindeksissä). Joka vuosi uusia sovelluksia Buchbergerin teorialle löytyy hyvin erilaisilta tekniikan aloilta, esim. B. rikkoa aiemmin pidetty rikkoutumaton salakirjoituskoodi Buchbergerin menetelmällä ( Univ. Paris VI ), uusia säätöjä Shell -öljyntuotantoalustoille, joilla on suurempi ja pidempi saanto, ja yhteisten esi -isien tunnistamiseksi lajien geneettisessä kehitysketjussa.

Buchbergerin nykyinen tärkein tutkimusalue on matemaattisen ohjelmistojärjestelmän "Theorema" kehittäminen, jonka avulla matemaattista ajatteluprosessia voidaan tukea matemaattisilla algoritmeilla ("tietokone"). Tämä lisää tehokkuutta, tarkkuutta, todennettavuutta, modulaarisuutta ja koko tieteellisen prosessin uudelleenjärjestelyä matemaattisessa tutkimuksessa.

Koska 2014 hän on ollut jäsenenä Global Digital Matemaattinen Kirjasto Työryhmä klo IMU .

Teknologian hallinta Itävaltaan

Buchberger perusti vuonna 1985 kansainvälisen tieteellisen lehden symbolisesta laskennasta , ensimmäisen symbolisen laskennan alan lehden, ja oli sen toimittaja vuoteen 1995 asti.

Vuonna 1987 hän perusti Symbolisen laskennan tutkimuslaitoksen (RISC) Linzin Johannes Keplerin yliopistoon ja johti sitä vuoteen 2000 asti.

Vuonna 1989 Buchberger perusti Hagenberg Software Park vuonna Hagenberg im Mühlkreis , jossa yli 1000 työpaikkaa on luotu hänen johdollaan. Kolme vuotta myöhemmin hän perusti ammattikorkeakoulun Hagenbergiin . Vuonna 2007 hän perusti ensimmäisen tietotekniikan maisteriohjelman Itävaltaan Hagenbergin ohjelmistopuistoon.

Muut palvelut

Innsbruckin yliopiston IT -upseerina Buchberger loi konseptin siellä vuonna 2001 alkanut tietojenkäsittelytieteen kurssi.

Palkinnot

Bruno Buchbergerilla on kunniatohtorit Nijmegenin (Alankomaat, 1995), Timisoaran (Romania, 2000), Bathin (Iso -Britannia, 2005), Waterloon (Kanada, 2011) ja Innsbruckin (Itävalta, 2012) yliopistoista. Yhtenä vain 23 itävaltalaisesta (mukaan lukien vain 2 matemaatikkoa) hänet hyväksyttiin Academia Europaeaan (Euroopan tiedeakatemia) Lontoossa vuonna 1992. Vuonna 2011 hänet hyväksyttiin Baijerin tiedeakatemian vastaavaksi jäseneksi ja hänelle myönnettiin Itävallan tietokoneyhteiskunnan (OCG) kunniajäsenyys .

Vuonna 2010 Bruno Buchbergerin oli äänestetty Itävallan Vuoden jonka lehdistö on tutkimusosiota ansioista perustamassa tutkimuskeskuksen symbolinen laskenta . Vuonna 2007 hän sai Pariisin Kanellakis -palkinnon ja vuonna 2006 Julius Raab -mitalin . Vuonna 2014 hän sai Itävallan tieteen ja taiteen kunniamerkin .

Vuonna 2015 Buchberger sai Ylä -Itävallan osavaltion suuren kulttuuripalkinnon . Vuonna 2018 hänelle myönnettiin Herbrand -palkinto .

kirjallisuus

  • Journal of Symbolic Computation, osa 41, numero 3–4, 2006, Logiikka, matematiikka ja tietojenkäsittelytiede: Vuorovaikutukset Bruno Buchbergerin (60. syntymäpäivä) kunniaksi, siinä:
  • Bruno Buchberger: Algoritminen kriteeri algebrallisen yhtälöjärjestelmän ratkaisukyvylle , Aequationes Mathematicae, osa 4, 1970, s. 374–383, digitoitu versio (PDF; 475 kB).
    • Englanninkielinen käännös: Buchberger, Franz Winkler (Toim.), Gröbner Bases and Applications , London Math. Soc. Luentomuistiinpanosarja 251, Cambridge UP 1998
  • Buchberger: Teoreettinen perusta polynomien pienentämiseksi kanonisiin muotoihin , ACM SIGSAM Bull.10, 1976, s. 19-29
  • Elizabeth Arnold, Ilias Kotsirias, Markus Rosenkranz: Bruno Buchberger ja Gröbner Basesin maailma , Journal of Symbolic Computation, osa 46, 2010, s. 495–497

nettilinkit

Commons : Bruno Buchberger  - Kokoelma kuvia, videoita ja äänitiedostoja

Yksilöllisiä todisteita

  1. ↑ D. Heldt, M. Kreuzer, S. Pokutta ja H. Poulisse: Algebrallinen mallintamalla menetelmiä likimääräinen tietokoneen algebran ja sovelluksia öljyteollisuudessa . Julkaisussa: OR-News . Ei. 28. marraskuuta 2006, ISSN  1437-2045 ( [1] [PDF; käytetty 21. helmikuuta 2021]).
  2. ↑ Global Digital matemaattinen kirjasto työryhmän kopiosta ( muisto alkuperäisen alkaen 21 syyskuu 2017 vuonna Internet Archive ) Info: arkisto yhteys on asetettu automaattisesti eikä sitä ole vielä tarkastettu. Tarkista alkuperäinen ja arkistolinkki ohjeiden mukaisesti ja poista tämä ilmoitus. @1@ 2Malli: Webachiv / IABot / blog.wias-berlin.de
  3. ↑ Tietotekniikka - se alkaa syksyllä! Tietojenkäsittelytieteen kurssin avaamista varten Innsbruckin yliopistossa, uibk.ac.at, 17. toukokuuta 2001, luettu 5. helmikuuta 2017.
  4. ↑ Professori Bruno Buchberger sai Julius Raab -mitalin , softwarepark-hagenberg.com ( Memento 11. joulukuuta 2007 Internet-arkistossa )
  5. ↑ State Awards for Artists and Scientists orf. At, 12. elokuuta 2015, katsottu 13. elokuuta 2015.
henkilökohtaiset tiedot
SUKUNIMI Buchberger, Bruno
LYHYT KUVAUS Itävaltalainen matemaatikko
SYNTYMÄPÄIVÄ 22. lokakuuta 1942
SYNTYMÄPAIKKA innsbruck