• Source: Research Institute for Symbolic Computation

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


RISC Linz
Softwarepark Hagenberg

Kata Kunci Pencarian:

• Evolusi manusia
• Fungsi Lambert W
• Daftar masalah matematika yang belum terpecahkan
• Research Institute for Symbolic Computation
• Computer algebra
• RISC (disambiguation)
• Manuel Kauers
• Bruno Buchberger
• Bernd Sturmfels
• Christoph Koutschan
• Peter Paule
• Softwarepark Hagenberg
• Theoretical computer science