El Instituto de Investigación para Computación Simbólica (RISC Linz) es un instituto de investigación en el área de la computación simbólica , que incluye la demostración automatizada de teoremas y el álgebra por computadora . Se encuentra en Schloß Hagenberg en Hagenberg cerca de Linz en Austria . RISC se fundó en 1987 bajo la dirección de Bruno Buchberger y se trasladó a Hagenberg en 1989. El actual presidente de RISC es Peter Paule .