Институт исследований символьных вычислений
Институт исследований символьных вычислений (англ. Research Institute for Symbolic Computation (RISC Linz)) — один из ведущих исследовательских институтов в области символьных вычислений, включая автоматическое доказательство теорем и компьютерную алгебру. Институт расположен в Schloß Hagenberg в Хагенберге неподалеку от Линца в Австрии. RISC был основан в 1987 для Бруно Бухбергера и он переехал в Хагенберг в 1989 году. В 1999-м Франц Винклер занял место директора.
| Институт исследований символьных вычислений | |
|---|---|
| Международное название |
Research Institute for Symbolic Computation (RISC Linz) |
| Расположение |
 Австрия |
| Сайт | risc.uni-linz.ac.at |
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.