Научно-исследовательский институт символических вычислений - Research Institute for Symbolic Computation

В Исследовательский институт символьных вычислений (RISC Linz) ведущий научно-исследовательский институт в области символьное вычисление, включая автоматическое доказательство теорем и компьютерная алгебра. Он расположен в замке Хагенберг в Хагенберге, недалеко от Линц в Австрия. RISC была основана в 1987 г. Бруно Бухбергер и переехал в Хагенберг в 1989 году. Нынешний председатель RISC - Питер Поль.

внешняя ссылка