Бруно Бухбергер
Бруно Бухбергер | |
---|---|
![]() | |
Рожденный | |
Альма-матер | Университет Инсбрука |
Известный | Базы Грёбнера Алгоритм Бухбергера |
Награды |
|
Научная карьера | |
Поля | Компьютерная математика |
Учреждения | |
Диссертация | Алгоритм нахождения базисных элементов кольца классов вычетов по модулю нульмерного полиномиального идеала [1] (1966) |
Докторантура | Вольфганг Грёбнер |
Бруно Бухбергер (родился 22 октября 1942 года) — профессор компьютерной математики в Университете Иоганна Кеплера в Линце , Австрия . В своей докторской степени 1965 года. диссертацию он создал теорию базисов Грёбнера , [2] и развивал эту теорию на протяжении всей своей карьеры. Он назвал эти объекты в честь своего советника Вольфганга Грёбнера . С 1995 года он принимал активное участие в проекте «Теорема» в Университете Линца .
Карьера [ править ]
В 1987 году Бухбергер основал и возглавил Научно-исследовательский институт символьных вычислений (RISC) при Университете Иоганна Кеплера. В 1985 году он основал журнал «Журнал символических вычислений» , который сейчас стал ведущим изданием в области компьютерной алгебры .
Бухбергер также задумал Softwarepark Hagenberg в 1989 году и с тех пор руководит расширением этого австрийского технологического парка программного обеспечения.
В 2014 году он стал членом рабочей группы Глобальной цифровой математической библиотеки. [3] Международного математического союза .
Награды [ править ]
- Медаль Вильгельма Экснера (1995 г.). [4]
- Премия Пэрис Канеллакис в области теории и практики (2007). К теории базисов Грёбнера. [5]
- Золотая Почетная медаль правительства Верхней Австрии.
- Почетные докторские степени университетов Неймегена (1993 г.), Тимишоары (2000 г.), Бата (2005 г.), Ватерлоо (2011 г.) и Инсбрука (2012 г.).
- Премия Эрбрана за выдающийся вклад в автоматизированное мышление (2018 г.) [6]
См. также [ править ]
Ссылки [ править ]
- ^ Бруно Бухбергер в проекте «Математическая генеалогия»
- ^ Абрамсон, Майкл П. (2009). «Историческая справка о статье Грёбнера». ACM-коммуникации в компьютерной алгебре . 43 (1/2): 22–23. дои : 10.1145/1610296.1610301 . S2CID 10959337 .
- ^ «Рабочая группа Глобальной цифровой математической библиотеки» . Архивировано из оригинала 21 сентября 2017 г. Проверено 22 января 2015 г.
- ^ Редактор ÖGV. (2015). Медаль Вильгельма Экснера. Австрийская торговая ассоциация. ОГВ. Австрия.
- ^ «Премия ACM Канеллакиса вручается новатору в области автоматизированных инструментов для математики» . Ассоциация вычислительной техники. Май 2008 года . Проверено 22 февраля 2024 г.
- ^ «Премия Эрбрана за выдающийся вклад в автоматизированное мышление» . КЕЙД Инк . Проверено 31 июля 2020 г.
Источники [ править ]
- «Предисловие: Бруно Бухбергер - Жизнь, посвященная символическим вычислениям» . Журнал символических вычислений . дои : 10.1016/j.jsc.2005.09.005 .
Внешние ссылки [ править ]
СМИ, связанные с Бруно Бухбергером, на Викискладе?