Бруно Бухбергер

редактировать

Бруно Бухбергер

Родился	( 1942-10-22) 22 октября 1942 г. (78 лет). Инсбрук
Alma mater	Университет Инсбрука
Известен	базами Грёбнера
Награды	Теория и практика Пэрис Канеллакис Награда Австрийская Золотая Почетная медаль
Научная карьера
Области	Компьютерная математика
Учреждения	Университет Иоганна Кеплера Softwarepark Хагенберг
Диссертация	Алгоритм поиска базисных элементов кольца классов остатков по модулю нульмерного полиномиального идеала (1966)
Докторант	Вольфганг Грёбнер

Бруно Бухбергер (род. 22 октября 1942 г.) - профессор компьютерной математики в Университете Иоганна Кеплера в Линце, Австрия. В его 1965 Ph.D. Диссертация, он создал теорию оснований Грёбнера и развивал эту теорию на протяжении всей своей карьеры. Он назвал эти объекты в честь своего советника Вольфганга Грёбнера. С 1995 года он был активен в проекте «Теорема» в Университете Линца.

Содержание

1 Карьера
2 Награды
3 См. Также
4 Ссылки
5 Источники
6 Внешние ссылки

Карьера

В 1987 году Бухбергер основал и возглавил Исследовательский институт символических вычислений (RISC) в Университете Иоганна Кеплера. В 1985 году он основал Journal of Symbolic Computing, который сейчас стал ведущим изданием в области компьютерной алгебры.

Бухбергер также задумал Softwarepark Hagenberg в 1989 году и с тех пор руководит расширением этого австрийского технологического парка для программного обеспечения.

В 2014 году он стал членом Рабочей группы Глобальной цифровой математической библиотеки IMU.

Awards

Медаль Вильгельма Экснера (1995).
Теория Пэрис Канеллакис и Премия за практику (2007 г.). За теорию основ Грёбнера.
Золотая Почетная медаль правительства Верхней Австрии
Почетные докторские степени университетов Неймегена (1993), Тимишоара (2000), Бат (2005), Ватерлоо (2011) и Инсбрук (2012).
Премия Хербранда за выдающиеся заслуги to Automated Reasoning (2018)

См. также

Ссылки

^Бруно Бухбергер в Mathematics Genealogy Project
^Абрамсон, Майкл П. 2009 г.). «Историческая справка о работе Гребнера». ACM-коммуникации в компьютерной алгебре. 43 (1/2).
^«Рабочая группа Глобальной цифровой математической библиотеки». Архивировано с оригинала 21.09.2017. Проверено 22 января 2015 г.
^Editor, ÖGV. (2015). Медаль Вильгельма Экснера. Австрийская торговая ассоциация. ÖGV. Австрия.
^ACM награждает новатора автоматизированных средств математики; Бруно Бухбергер разработал алгоритм, используемый в компьютерной алгебре для решения задач в области компьютерных наук, инженерии, естествознания
^«Премия Хербранда за выдающийся вклад в автоматизированное рассуждение». CADE Inc. Получено 31 июля 2020 г.

Источники

«Предисловие: Бруно Бухбергер - жизнь, посвященная символическим вычислениям». doi : 10.1016 / j.jsc.2005.09.005. Для цитирования журнала требуется | journal =()