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