ブルーノ・ブッフベルガー

ブルーノ・ブッフベルガー
ブルーノ・ブッフベルガー
生まれる	1942年10月22日（82歳）; インスブルック
母校	インスブルック大学
知られている	グレブナーは; ブッフベルガーのアルゴリズムをベースとする
受賞歴	パリ・カネラキス理論と実践賞; オーストリア金栄誉勲章;
	科学者としてのキャリア
フィールド	コンピュータ数学
機関	ヨハネス・ケプラー大学; ソフトウェアパークハーゲンベルク;
論文	0次元多項式イデアルを法とする剰余類環の基底元を求めるアルゴリズム (1966)
博士課程の指導教員	ヴォルフガング・グレブナー

ブルーノ・ブッフベルガー（1942年10月22日生まれ）は、オーストリアのリンツにあるヨハネス・ケプラー大学のコンピュータ数学教授。1965年の博士論文で、彼はグレブナー基底の理論^[2]を考案し、その後のキャリアを通じてこの理論を発展させてきた。彼はこれらのオブジェクトを指導教官のヴォルフガング・グレブナーにちなんで名付けた。1995年以来、彼はリンツ大学のTheoremaプロジェクトに積極的に参加している。

キャリア

1987 年、ブッフバーガーはヨハネスケプラー大学に記号計算研究所(RISC) を設立し、その所長に就任しました。1985 年にはJournal of Symbolic Computationを創刊し、現在ではコンピュータ代数の分野で第一級の出版物となっています。

ブッフベルガー氏は 1989 年にSoftwarepark Hagenbergも設立し、以来オーストリアのソフトウェア技術パークの拡張を指揮してきました。

2014年に国際数学連合のグローバルデジタル数学ライブラリワーキンググループ ^[3]のメンバーとなった。

ヴィルヘルム・エクスナー・メダル（1995年）。^[4]
パリ・カネラキス理論と実践賞（2007年）。グレブナー基底の理論に対して。^[5]
オーストリア政府より金メダルを授与
ナイメーヘン大学（1993年）、ティミショアラ大学（2000年）、バース大学（2005年）、ワーテルロー大学（2011年）、インスブルック大学（2012年）より名誉博士号を授与。
自動推論への顕著な貢献に対するエルブラン賞（2018年） ^[6]

^ 数学系譜プロジェクトのブルーノ・ブッフバーガー
^ Abramson, Michael P. (2009). 「Gröbner の論文の歴史的背景」. 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年9月21日時点のオリジナルよりアーカイブ。 2015年1月22日閲覧。
^ 編集者、ÖGV。（2015年）。ヴィルヘルム・エクスナーメダル。オーストリア貿易協会。 ÖGV。オーストリア。
^ 「ACM Kanellakis Award Honors Innovator of Automated Tools for Mathematics」、Association for Computing Machinery、2008年5月。 2024年2月22日閲覧。
^ 「自動推論への顕著な貢献に対するエルブラン賞」 CADE Inc. 2020年7月31日閲覧。

「序文: ブルーノ・ブッフバーガー - シンボリック計算に捧げた人生」。シンボリック計算ジャーナル。doi : 10.1016 /j.jsc.2005.09.005。

ウィキメディア・コモンズのブルーノ・ブッフベルガーに関連するメディア