Бухбергер Бруно
Бухбе́ргер Бру́но (Bruno Buchberger) (род. 22.10.1942, Инсбрук), австрийский учёный. Основатель Научно-исследовательского института символических вычислений (RISC) при Университете Иоганна Кеплера в Линце. Награждён медалью Вильгельма Экснера (1995). Лауреат премии Париса Канеллакиса (2007) и ряда других премий и наград. Почётный доктор университетов Неймегена (Нидерланды, 1993), Тимишоары (Румыния, 2000), Бата (Великобритания, 2005).
Окончил реальную гимназию в Инсбруке. В 1960–1966 гг. изучал математику, а также экспериментальную физику и философию в университете Инсбрука, где в 1966 г. под руководством В. Грёбнера защитил диссертацию на степень доктора философии, в которой были заложены основы математической теории одного из важнейших понятий компьютерной алгебры, алгебраической геометрии и вычислительной коммутативной алгебры – базисов Грёбнера (названных им в честь своего научного руководителя) и, в частности, разработан алгоритм для их построения (алгоритм Бухбергера). В 1973 г. также в университете Инсбрука защитил вторую диссертацию (хабилитация), посвящённую разложениям гёделевых нумераций. В 1974–2002 гг. – профессор компьютерной математики в Университете Иоганна Кеплера (JKU) в Линце. В 2002 г. вышел на пенсию, чтобы сосредоточиться на исследовательской работе, и с тех пор занимает должность профессора-исследователя в Научно-исследовательском институте символических вычислений (RISC) при JKU, который он же и основал в 1987 г. и был там директором до 1999 г. В 1979–1981 гг. – декан факультета технических и естественных наук JKU. На протяжении своей карьеры посетил в качестве приглашённого профессора многие университеты Европы, США, Японии и Австралии. В 1970–1971 гг. в течение года работал в качестве приглашённого исследователя в Объединённом институте ядерных исследований в Дубне. В 1991 г. создал и до 2013 г. возглавлял Softwarepark Hagenberg – австрийский технологический парк программного обеспечения, расположенный в Хагенберге. В 1985 г. основал журнал Journal of Symbolic Computation («Журнал символических вычислений»), главным редактором которого был до 1995 г. и который считается основным научным журналом в области символических вычислений.
Литература
Сочинения
- Buchberger B. Ein Algorithmus zum Auffinden der Basiselemente des Restklassenringes nach einem nulldimensionalen Polynomideal : These. – Innsbruck : Universität Innsbruck, 1965.
- Buchberger B. Computer trees : a concept for parallel processing / B. Buchberger, J. Fegerl, F. Lichtenberger // Microprocessors and microsystems. – 1979. – Vol. 3, № 6. – P. 244–248.
- Buchberger B. Mathematik für Informatiker I : Die Methode der Mathematik / B. Buchberger, F. Lichtenberger. – Berlin : Springer, 1980. – (Informatik-Fachberichte ; 35).
- Buchberger B. Mathematics for Computer Science I – The Method of Mathematics / B. Buchberger, F. Lichtenberger. – 2nd ed. – Berlin [et al.] : Springer, 1981.
- Computer algebra. Symbolic and algebraic computation / ed. by B. Buchberger [et al.]. – 2nd ed. – Wien : Springer, 1982.
- Gröbner bases and applications / ed. by B. Buchberger, F. Winkler. – Cambridge : Cambridge University Press, 1998. – (London Mathematical Society Lecture Note Series ; 251).
- Buchberger B. Computer-Algebra: Das Ende der Mathematik? // Mitteilungen der Deutschen Mathematiker-Vereinigung. – 2000. – Vol. 8, № 2. – S. 16–26
- Artificial intelligence and symbolic computation : 7th international conference, AISC 2004, Linz, Austria : proceedings / ed. by B. Buchberger, J. A. Campbell. – Berlin ; New York : Springer, 2004. – (Lecture notes in computer science ; 3249).
- The seventeen provers of the world / ed. by F. Wiedijk. – Berlin ; New York : Springer, 2006. – (Lecture notes in computer science ; 3600) (Lecture Notes in Artificial Intelligence ; 3600).
Дополнительная литература
- Bruno Buchberger-life devoted to symbolic computation / H. Hong, D. Kapur, P. Paule, F. Winkler // Journal of symbolic computation. – 2006. – Vol. 41, № 3/4. – P. 255–258.