The Research Institute for Symbolic Computation (RISC Linz) is a research institute in the area of
symbolic computation
In mathematics and computer science, computer algebra, also called symbolic computation or algebraic computation, is a scientific area that refers to the study and development of algorithms and software for manipulating mathematical expressions ...
, including
automated theorem proving
Automated theorem proving (also known as ATP or automated deduction) is a subfield of automated reasoning and mathematical logic dealing with proving mathematical theorems by computer programs. Automated reasoning over mathematical proof was a majo ...
and
computer algebra
In mathematics and computer science, computer algebra, also called symbolic computation or algebraic computation, is a scientific area that refers to the study and development of algorithms and software for manipulating expression (mathematics), ...
. It is located in Schloß Hagenberg in Hagenberg near
Linz
Linz (Pronunciation: , ; ) is the capital of Upper Austria and List of cities and towns in Austria, third-largest city in Austria. Located on the river Danube, the city is in the far north of Austria, south of the border with the Czech Repub ...
in
Austria
Austria, formally the Republic of Austria, is a landlocked country in Central Europe, lying in the Eastern Alps. It is a federation of nine Federal states of Austria, states, of which the capital Vienna is the List of largest cities in Aust ...
. RISC was founded in 1987 under
Bruno Buchberger
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, and has developed this theory throughout his career ...
and moved to Hagenberg in 1989. The present chairman of RISC is Carsten Schneider.
External links
RISC LinzSoftwarepark Hagenberg
Computer science organizations
{{compsci-stub