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

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

Австрийский математик (родился в 1942 году)

Бруно Бухбергер (родился 22 октября 1942 года) — профессор компьютерной математики в Университете Иоганна Кеплера в Линце , Австрия . В своей докторской диссертации 1965 года он создал теорию базисов Грёбнера ^[2] и развивал эту теорию на протяжении всей своей карьеры. Он назвал эти объекты в честь своего научного руководителя Вольфганга Грёбнера . С 1995 года он принимает активное участие в проекте Theorema в Университете Линца .

Карьера

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

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

В 2014 году он стал членом рабочей группы Глобальной цифровой математической библиотеки ^[3] Международного математического союза .

Награды

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

Смотрите также

Ссылки

^ Бруно Бухбергер в проекте «Генеалогия математики»
^ Абрамсон, Майкл П. (2009). «Историческая справка к статье Грёбнера». ACM Communications in Computer Algebra . 43 (1/2): 22–23. doi :10.1145/1610296.1610301. S2CID 10959337.
^ "The Global Digital Mathematical Library Working Group". Архивировано из оригинала 2017-09-21 . Получено 2015-01-22 .
^ Редактор ÖGV. (2015). Медаль Вильгельма Экснера. Австрийская торговая ассоциация. ОГВ. Австрия.
^ "ACM Kanellakis Award Honors Innovator of Automated Tools for Mathematics". Ассоциация вычислительной техники. Май 2008 г. Получено 22 февраля 2024 г.
^ "Премия Эрбранда за выдающийся вклад в автоматизированное мышление". CADE Inc. Получено 31 июля 2020 г.