Research Institute for Symbolic Computation

The Research Institute for Symbolic Computation (RISC Linz) is a leading research institute in the area of symbolic computation

Symbolic computation

Symbolic computation or algebraic computation, relates to the use of machines, such as computers, to manipulate mathematical equations and expressions in symbolic form, as opposed to manipulating the approximations of specific numerical quantities represented by those symbols...

, including automated theorem proving

Automated theorem proving

Automated theorem proving or automated deduction, currently the most well-developed subfield of automated reasoning , is the proving of mathematical theorems by a computer program.- Decidability of the problem :...

and computer algebra. It is located in Schloß Hagenberg in Hagenberg near Linz

Linz

Linz is the third-largest city of Austria and capital of the state of Upper Austria . It is located in the north centre of Austria, approximately south of the Czech border, on both sides of the river Danube. The population of the city is , and that of the Greater Linz conurbation is about...

in Austria

Austria

Austria , officially the Republic of Austria , is a landlocked country of roughly 8.4 million people in Central Europe. It is bordered by the Czech Republic and Germany to the north, Slovakia and Hungary to the east, Slovenia and Italy to the south, and Switzerland and Liechtenstein to the...

. RISC was founded in 1987 under Bruno Buchberger

Bruno Buchberger

Bruno Buchberger 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, and has developed this theory throughout his career. He named these objects after his advisor Wolfgang Gröbner...

and moved to Hagenberg in 1989. Present chairman of RISC is Peter Paule.

External links

The source of this article is wikipedia, the free encyclopedia. The text of this article is licensed under the GFDL.