АссистентНовый вопросИсторияОбласти знаний
Партнёрские проектыМатериалы БРЭСпецпроектыСтать автором
Настроить видСменить языкИнформация
О РУВИКИ
Ответ на вопрос

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

Pause

Бруно Бухбергер (нем. Bruno Buchberger; род. 22 октября 1942, Инсбрук, Австрия) — австрийский учёный; профессор-эмерит компьютерной математики университета Иоганна Кеплера в Линце, Австрия[3].

Общие сведения
Что важно знать
Бруно Бухбергер
Дата рождения 22 октября 1942(1942-10-22)[1] (83 года)
Место рождения
Страна
Место работы
Образование
Научный руководитель Вольфганг Грёбнер[2]
Награды и премии

Научная деятельность

В 1965 году в своей кандидатской диссертации создал теорию базисов Грёбнера, и разрабатывал её на протяжении всей своей карьеры. Назвал эти объекты именем своего учителя Вольфганга Грёбнера. С 1995 года активно работает в ряде теоретических проектов в университете Линца.

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

Задумал «Softwarepark Hagenberg» в 1989 году и с тех пор руководит расширением этого австрийского технологического парка для программного обеспечения[4].

Разработанная в рамках проекта Theorema система автоматизированного доказательства теорем в версии Theorema 2.0 распространяется с открытым исходным кодом по лицензии GPL. По состоянию на 2026 год система проходит повторную реализацию; доступна её прототипная версия, которую разрабатывает Вольфганг Виндштайгер под руководством Бухбергера[5].

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

В 2023 году вышла книга Бухбергера «Wissenschaft und Meditation»[7], а в 2024 году — её английский перевод «Science and Meditation: Creating the Future»[8]. В книге он предлагает сочетать научный подход и медитацию как взаимодополняющие способы осмысления современных проблем[9].

В мае 2026 года в серии технических отчётов RISC была опубликована работа Бухбергера «Nakano’s Light Puzzle: A Correctness Proof for a Greedy Algorithm» (№ 26-05), содержащая доказательство корректности жадного алгоритма для задачи Накано и дополнительный критерий, основанный на чётности сумм блоков[10].

Награды

  • Медаль Вильгельма Экснера (1995)[11].
  • Премия Канеллакиса (2007). Для теории Базис Грёбнера.
  • Австрийский почётный знак «За науку и искусство» вручён австрийским Правительством в 2014 году
  • Премия Wolfram Innovator Award компании Wolfram Research (2021) — за разработку алгоритмической теории базисов Грёбнера и системы автоматизированного рассуждения Theorema, а также за вклад в символьные вычисления и компьютерную алгебру[12].
  • Почётные докторские степени от университетов Неймегена (1993), Тимишоара (2000), Ванная (2005), Ватерлоо (2011) и Инсбрука (2012).

Примечания

  1. ↑ Чешская национальная авторитетная база данных
  2. ↑ Mathematics Genealogy Project (англ.) — 1997.
  3. ↑ Austrian Computer Science Day 2025. University of Innsbruck. Дата обращения: 15 сентября 2026.
  4. ↑ Bruno Buchberger. Academia Europaea. Дата обращения: 15 сентября 2026.
  5. ↑ Theorema. Research Institute for Symbolic Computation. Дата обращения: 15 сентября 2026.
  6. ↑ Глобальной Цифровой Библиотеки Математических Рабочей Группы. Дата обращения: 15 сентября 2026. Архивировано 21 сентября 2017 года.
  7. ↑ 200% Life — How Is That Supposed to Work? schongenial.at. Дата обращения: 15 сентября 2026.
  8. ↑ Science and Meditation: Creating the Future. Research Institute for Symbolic Computation. Дата обращения: 15 сентября 2026.
  9. ↑ Science and Meditation. innovation.at. Дата обращения: 15 сентября 2026.
  10. ↑ Nakano’s Light Puzzle: A Correctness Proof for a Greedy Algorithm. Research Institute for Symbolic Computation. Дата обращения: 15 сентября 2026.
  11. ↑ Редактор, ÖGV. (2015).
  12. ↑ Bruno Buchberger: Wolfram Innovator Award 2021. Wolfram Research. Дата обращения: 15 сентября 2026.

Литература

Ссылки

Дополнительно по теме

Категории

Pause