English Wikipedia - The Free Encycl...
הורד מילון זה
Research Institute for Symbolic Computation
The
Research Institute for Symbolic Computation (RISC Linz)
is a leading research institute in the area of
symbolic computation
, including
automated theorem proving
and
computer algebra
. It is located in Schloß Hagenberg in Hagenberg near
Linz
in
Austria
. RISC was founded in 1987 under
Bruno Buchberger
and moved to Hagenberg in 1989. The present chairman of RISC is
Peter Paule
.
See more at Wikipedia.org...
© This article uses material from
Wikipedia
®
and is licensed under the
GNU Free Documentation License
and under the
Creative Commons Attribution-ShareAlike License