Wolfram Innovator Award 2021 goes to Bruno Buchberger, Professor of computer mathematics at Johannes Kepler University Linz
We are very proud to announce that Mr. Bruno Buchberger is one of this year’s winners of the Wolfram Innovator Award.
There is a special connection between Mr. Buchberger and our company for a long time and therefore we are even more pleased about his success.
Excerpt from blog entry by Wolfram
Bruno Buchberger is internationally known for his algorithmic theory of Gröbner bases. In recent years, Buchberger established the automated reasoning system Theorema and implemented it with his coworkers and students within Mathematica. Buchberger also contributed to the development of symbolic computation and computer algebra by founding and building up the Journal of Symbolic Computation, the Research Institute for Symbolic Computation (RISC), the Softwarepark Hagenberg and the University of Applied Sciences Upper Austria.