The Research Institute for Symbolic Computation (RISC Linz) is a leading research institute in the area of symbolic computation, including automated theorem proving and computer algebra.
Институт исследований символьных вычислений (англ. Research Institute for Symbolic Computation (RISC Linz)) — один из ведущих исследовательских институтов в области символьных вычислений, включая автоматическое доказательство теорем и компьютерную алгебру.