Bruno Buchberger: Difference between revisions
MainlyTwelve (talk | contribs) |
Tom.Reding (talk | contribs) m WP:STUBSPACING followup |
||
(24 intermediate revisions by 21 users not shown) | |||
Line 1: | Line 1: | ||
{{Short description|Austrian mathematician (born 1942)}} |
|||
[[Image:Bruno Buchberger.jpg|thumb|Bruno Buchberger]] |
|||
{{Infobox scientist |
|||
⚫ | '''Bruno Buchberger''' (born October |
||
| name = Bruno Buchberger |
|||
| image = Bruno Buchberger.jpg |
|||
| birth_date = {{bda|1942|10|22|df=y}} |
|||
| birth_place = [[Innsbruck]] |
|||
| death_date = <!--{{death date and age |YYYY|MM|DD|1942|10|22|df=y}} --> |
|||
| nationality = |
|||
| fields = Computer mathematics |
|||
| workplaces = {{Plainlist| |
|||
*[[Johannes Kepler University Linz|Johannes Kepler University]] |
|||
*[[Softwarepark Hagenberg]] |
|||
}} |
|||
| alma_mater = [[University of Innsbruck]] |
|||
| thesis_title = An Algorithm for Finding the Basis Elements of the Residue Class Ring Modulo a Zero-dimensional Polynomial Ideal<ref>{{MathGenealogy |id=18956}}</ref> |
|||
| thesis_year = 1966 |
|||
| doctoral_advisor = [[Wolfgang Gröbner]] |
|||
| doctoral_students = |
|||
| known_for = [[Gröbner basis|Gröbner bases]]<br>[[Buchberger's algorithm]] |
|||
| awards = {{Plainlist| |
|||
*[[Paris Kanellakis Theory and Practice Award]] |
|||
*Austrian ''Golden Medal of Honor'' |
|||
}} |
|||
| website = <!--{{URL|www.example.com}}--> |
|||
}} |
|||
⚫ | '''Bruno Buchberger''' (born 22 October 1942) is Professor of Computer Mathematics at [[Johannes Kepler University Linz|Johannes Kepler University]] in [[Linz]], [[Austria]]. In his 1965 [[Ph.D. thesis]], he created the theory of [[Gröbner basis|Gröbner bases]],<ref>{{cite journal | last = Abramson | first = Michael P. | year = 2009 | title = Historical background to Gröbner's paper | journal = ACM Communications in Computer Algebra | volume = 43 | issue = 1/2 | pages = 22–23 | doi = 10.1145/1610296.1610301 | s2cid = 10959337 }}</ref> and has developed this theory throughout his career. He named these objects after his advisor [[Wolfgang Gröbner]]. Since 1995, he has been active in the Theorema project at the [[University of Linz]]. |
||
⚫ | |||
==Career== |
|||
For his theory of Gröbner bases, Buchberger received the 2007 ACM [[Paris Kanellakis Theory and Practice Award]].<ref name="grobner">[http://www.ascribe.org/cgi-bin/behold.pl?ascribeid=20080513.091858&time=11%%0A2010%20PDT&year=2008&public=1 ACM Honors Innovator of Automated Tools for Mathematics; Bruno Buchberger Developed Algorithm Used in Computer Algebra to Solve Problems in Computer Science, Engineering, Science]{{dead link|date=November 2016 |bot=InternetArchiveBot |fix-attempted=yes }}</ref> He was also awarded the ''Golden Medal of Honor'' by the Upper Austrian Government. He has received honorary doctorates from the [[University of Nijmegen]] (1993), the [[West University of Timișoara]] (2000), the [[University of Bath]] (2005), the [[University of Waterloo]] (2011), and the [[University of Innsbruck]] (2012). |
|||
⚫ | |||
Buchberger also conceived [[Softwarepark Hagenberg]] in 1989 and since then has been directing the expansion of this Austrian technology park for software. |
Buchberger also conceived [[Softwarepark Hagenberg]] in 1989 and since then has been directing the expansion of this Austrian technology park for software. |
||
In 2014 he became a member of the ''Global Digital Mathematical Library Working Group'' <ref> |
In 2014 he became a member of the ''Global Digital Mathematical Library Working Group'' <ref>{{Cite web |url=https://blog.wias-berlin.de/imu-icm-panel-wdml/tag/gdml/# |title=The Global Digital Mathematical Library Working Group |access-date=2015-01-22 |archive-url=https://web.archive.org/web/20170921095057/https://blog.wias-berlin.de/imu-icm-panel-wdml/tag/gdml/# |archive-date=2017-09-21 |url-status=dead }}</ref> of the [[International Mathematical Union]]. |
||
==Awards== |
==Awards== |
||
*[[Wilhelm Exner Medal]] (1995).<ref>Editor, ÖGV. (2015). Wilhelm Exner Medal. Austrian Trade Association. ÖGV. Austria.</ref> |
*[[Wilhelm Exner Medal]] (1995).<ref>Editor, ÖGV. (2015). Wilhelm Exner Medal. Austrian Trade Association. ÖGV. Austria.</ref> |
||
*[[Paris Kanellakis Theory and Practice Award]] (2007). For theory of Gröbner bases.<ref name="grobner">{{cite web|url=https://www.acm.org/media-center/2008/may/acm-kanellakis-award-honors-innovator-of-automated-tools-for-mathematics|title=ACM Kanellakis Award Honors Innovator of Automated Tools for Mathematics|publisher=Association for Computing Machinery|date=May 2008|access-date=2024-02-22}}</ref> |
|||
*''Golden Medal of Honor'' by the Upper Austrian Government |
|||
*Honorary doctorates from the Universities of [[University of Nijmegen|Nijmegen]] (1993), [[West University of Timișoara|Timișoara]] (2000), [[University of Bath|Bath]] (2005), [[University of Waterloo|Waterloo]] (2011), and [[University of Innsbruck|Innsbruck]] (2012). |
|||
*[[Herbrand Award]] for Distinguished Contributions to Automated Reasoning (2018)<ref>{{cite web |title=Herbrand Award for Distinguished Contributions to Automated Reasoning |url=http://www.cadeinc.org/Herbrand-Award |publisher=CADE Inc. |accessdate=31 July 2020}}</ref> |
|||
==See also== |
==See also== |
||
Line 20: | Line 49: | ||
==Sources== |
==Sources== |
||
* |
* {{cite journal|doi=10.1016/j.jsc.2005.09.005|doi-access=free|title=Foreword: Bruno Buchberger - A Life Devoted to Symbolic Computation|journal = Journal of Symbolic Computation}} |
||
==External links== |
==External links== |
||
{{Commons category inline|Bruno Buchberger}} |
|||
*{{MathGenealogy |id=18956}} |
|||
*[http://www.risc.uni-linz.ac.at/people/buchberg/ Buchberger's university website] |
*[http://www.risc.uni-linz.ac.at/people/buchberg/ Buchberger's university website] |
||
*[http://www.risc.uni-linz.ac.at/ RISC website] |
*[http://www.risc.uni-linz.ac.at/ RISC website] |
||
* H. Hong, D. Kapur, P. Paule, F. Winkler, [http://linkinghub.elsevier.com/retrieve/pii/S0747717105001306 Foreword: Bruno Buchberger - A Life Devoted to Symbolic Computation]. Journal of Symbolic Computation 41 (2006): 255-258. |
|||
{{Kanellakis Award laureates}} |
{{Kanellakis Award laureates}} |
||
Line 35: | Line 63: | ||
[[Category:1942 births]] |
[[Category:1942 births]] |
||
[[Category:20th-century Austrian mathematicians]] |
[[Category:20th-century Austrian mathematicians]] |
||
[[Category:21st-century mathematicians]] |
[[Category:21st-century Austrian mathematicians]] |
||
[[Category:Austrian mathematicians]] |
|||
[[Category:Living people]] |
[[Category:Living people]] |
||
[[Category: |
[[Category:Scientists from Innsbruck]] |
||
[[Category:Johannes Kepler University Linz |
[[Category:Academic staff of Johannes Kepler University Linz]] |
||
Latest revision as of 12:49, 7 October 2024
Bruno Buchberger | |
---|---|
Born | |
Alma mater | University of Innsbruck |
Known for | Gröbner bases Buchberger's algorithm |
Awards |
|
Scientific career | |
Fields | Computer mathematics |
Institutions | |
Thesis | An Algorithm for Finding the Basis Elements of the Residue Class Ring Modulo a Zero-dimensional Polynomial Ideal[1] (1966) |
Doctoral advisor | Wolfgang Gröbner |
Bruno Buchberger (born 22 October 1942) is Professor of Computer Mathematics at Johannes Kepler University in Linz, Austria. In his 1965 Ph.D. thesis, he created the theory of Gröbner bases,[2] and has developed this theory throughout his career. He named these objects after his advisor Wolfgang Gröbner. Since 1995, he has been active in the Theorema project at the University of Linz.
Career
[edit]In 1987 Buchberger founded and chaired the Research Institute for Symbolic Computation (RISC) at Johannes Kepler University. In 1985 he started the Journal of Symbolic Computation, which has now become the premier publication in the field of computer algebra.
Buchberger also conceived Softwarepark Hagenberg in 1989 and since then has been directing the expansion of this Austrian technology park for software.
In 2014 he became a member of the Global Digital Mathematical Library Working Group [3] of the International Mathematical Union.
Awards
[edit]- Wilhelm Exner Medal (1995).[4]
- Paris Kanellakis Theory and Practice Award (2007). For theory of Gröbner bases.[5]
- Golden Medal of Honor by the Upper Austrian Government
- Honorary doctorates from the Universities of Nijmegen (1993), Timișoara (2000), Bath (2005), Waterloo (2011), and Innsbruck (2012).
- Herbrand Award for Distinguished Contributions to Automated Reasoning (2018)[6]
See also
[edit]References
[edit]- ^ Bruno Buchberger at the Mathematics Genealogy Project
- ^ Abramson, Michael P. (2009). "Historical background to Gröbner's paper". ACM Communications in Computer Algebra. 43 (1/2): 22–23. doi:10.1145/1610296.1610301. S2CID 10959337.
- ^ "The Global Digital Mathematical Library Working Group". Archived from the original on 2017-09-21. Retrieved 2015-01-22.
- ^ Editor, ÖGV. (2015). Wilhelm Exner Medal. Austrian Trade Association. ÖGV. Austria.
- ^ "ACM Kanellakis Award Honors Innovator of Automated Tools for Mathematics". Association for Computing Machinery. May 2008. Retrieved 2024-02-22.
- ^ "Herbrand Award for Distinguished Contributions to Automated Reasoning". CADE Inc. Retrieved 31 July 2020.
Sources
[edit]- "Foreword: Bruno Buchberger - A Life Devoted to Symbolic Computation". Journal of Symbolic Computation. doi:10.1016/j.jsc.2005.09.005.
External links
[edit]Media related to Bruno Buchberger at Wikimedia Commons