Бруно Бухбергер - Bruno Buchberger

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

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

Карьера

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

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

В 2014 году он стал членом Рабочая группа Глобальной цифровой математической библиотеки ^[3] из ИДУ.

Награды

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

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

Источники

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

внешняя ссылка

Эта статья об австрийском ученом - заглушка. Вы можете помочь Википедии расширяя это.

Эта статья про европейца математик это заглушка. Вы можете помочь Википедии расширяя это.

[1] Бруно Бухбергер на Проект "Математическая генеалогия"

[2] Абрамсон, Майкл П. (2009). «Историческая справка о работе Гребнера». ACM-коммуникации в компьютерной алгебре. 43 (1/2).

[3] «Рабочая группа Глобальной цифровой математической библиотеки». Архивировано из оригинал на 2017-09-21. Получено 2015-01-22.

[4] Редактор ÖGV. (2015). Медаль Вильгельма Экснера. Австрийская торговая ассоциация. ÖGV. Австрия.

[grobner-5] ACM награждает новатора автоматизированных средств математики; Бруно Бухбергер разработал алгоритм, используемый в компьютерной алгебре для решения задач в области компьютерных наук, инженерии, естествознания.^{[постоянная мертвая ссылка ]}

[6] "Премия Herbrand за выдающийся вклад в автоматизированное мышление". CADE Inc. Получено 31 июля 2020.

[1]

[2]

[3]

[4]

[5]

[6]