 | This article does not cite any sources. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed. Find sources: "Research Institute for Symbolic Computation" – news · newspapers · books · scholar · JSTOR (August 2024) (Learn how and when to remove this message) |
The Research Institute for Symbolic Computation (RISC Linz) is a research institute in the area of symbolic computation, including automated theorem proving and computer algebra. It is located in Schloß Hagenberg in Hagenberg near Linz in Austria. RISC was founded in 1987 under Bruno Buchberger and moved to Hagenberg in 1989. The present chairman of RISC is Peter Paule.
External links
 | This computer science article is a stub. You can help Misplaced Pages by expanding it. |