Loading article…
記号計算研究所 (RISC Linz) は、自動定理証明やコンピュータ代数を含む記号計算の分野の研究所です。オーストリア、リンツ近郊のハーゲンベルクにあるハーゲンベルク城にあります。RISC は 1987 年にブルーノ・ブッフベルガーによって設立され、1989 年にハーゲンベルクに移転しました。RISC の現在の会長はピーター・パウレです。
外部リンク
- RISCリンツ
- ソフトウェアパーク ハーゲンベルク
記号計算研究所 (RISC Linz) は、自動定理証明やコンピュータ代数を含む記号計算の分野の研究所です。オーストリア、リンツ近郊のハーゲンベルクにあるハーゲンベルク城にあります。RISC は 1987 年にブルーノ・ブッフベルガーによって設立され、1989 年にハーゲンベルクに移転しました。RISC の現在の会長はピーター・パウレです。