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