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

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

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

• RISC Linz
• Softwarepark Hagenberg

Эта статья по информатике незавершена . Вы можете помочь Википедии, расширив ее .

• v
• т
• е