Showing content from https://en.wikipedia.org/wiki/Bruno_Buchberger below:
Bruno Buchberger - Wikipedia
Toggle the table of contents Bruno Buchberger
From Wikipedia, the free encyclopedia
Austrian mathematician (born 1942)
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.
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.
Beyond the applications of Gröbner bases in computational algebra, Buchberger has also applied them to problems of automated theorem proving in systems theory,[4] computational geometry,[5] and the mathematics of origami.[6]
- ^ 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.
- ^ Buchberger, Bruno (July 2001). "Gröbner Bases and Systems Theory". Multidimensional Systems and Signal Processing. 12 (3–4): 223–251. doi:10.1023/a:1011949421611.
- ^ Buchberger, Bruno (1988). "Applications of Gröbner bases in non-linear computational geometry". In Rice, J. R. (ed.). Mathematical Aspects of Scientific Software. The IMA Volumes in Mathematics and Its Applications. New York: Springer. pp. 59–87. doi:10.1007/978-1-4684-7074-1_3. ISBN 9781468470741.
- ^ Ida, Tetsuo; Tepeneu, Dorin; Buchberger, Bruno; Robu, Judit (2004). "Proving and constraint solving in computational origami". In Buchberger, Bruno; Campbell, John A. (eds.). Artificial Intelligence and Symbolic Computation, 7th International Conference, AISC 2004, Linz, Austria, September 22–24, 2004, Proceedings. Lecture Notes in Computer Science. Vol. 3249. Springer. pp. 132–142. doi:10.1007/978-3-540-30210-0_12.
- ^ 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.
Media related to Bruno Buchberger at Wikimedia Commons
Winners of the
Paris Kanellakis Theory and Practice Award
- Adleman, Diffie, Hellman, Merkle, Rivest, Shamir (1996)
- Lempel, Ziv (1997)
- Bryant, Clarke, Emerson, McMillan (1998)
- Sleator, Tarjan (1999)
- Karmarkar (2000)
- Myers (2001)
- Franaszek (2002)
- Miller, Rabin, Solovay, Strassen (2003)
- Freund, Schapire (2004)
- Holzmann, Kurshan, Vardi, Wolper (2005)
- Brayton (2006)
- Buchberger (2007)
- Cortes, Vapnik (2008)
- Bellare, Rogaway (2009)
- Mehlhorn (2010)
- Samet (2011)
- Broder, Charikar, Indyk (2012)
- Blumofe, Leiserson (2013)
- Demmel (2014)
- Luby (2015)
- Fiat, Naor (2016)
- Shenker (2017)
- Pevzner (2018)
- Alon, Gibbons, Matias, Szegedy (2019)
- Azar, Broder, Karlin, Mitzenmacher, Upfal (2020)
- Blum, Dinur, Dwork, McSherry, Nissim, Smith (2021)
- Burrows, Ferragina, Manzini (2022)
RetroSearch is an open source project built by @garambo
| Open a GitHub Issue
Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo
HTML:
3.2
| Encoding:
UTF-8
| Version:
0.7.4
