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