RISC

Research Institute for Symbolic Computation
(Institut für Symbolisches Rechnen)

is an institute of the Johannes Kepler University Linz, Austria.

[RISC image video],
[Double Page Folder], [20+ years of RISC: a 48 pages booklet].

• algorithmic solutions of mathematical problems,
• realization and analysis of algorithms via computer science,
• applications in science, engineering, and industry.

• 1987 founded by Prof. Bruno Buchberger,
• 1989 moved to the Castle of Hagenberg,
• 1999 new chairman Prof. Franz Winkler,
• 2005 new full professor Prof. Peter Paule,
• 2008 RISC celebrates its 20th anniversary,
• 2009 new chairman Prof. Peter Paule

• Journal of Symbolic Computation (Editorial),
• Springer Book Series in Symbolic Computation,
• RISC Software GmbH,
• Softwarepark Hagenberg,
• Upper Austria University of Applied Sciences at Hagenberg,
• Software Competence Center Hagenberg.

The RISC logo visualizes local confluence which is a prerequsite for the important Church-Rosser property of mathematical logic.