Translate:
English
Chinese (S)
Chinese (T)
Croatian
Dutch
French
German
Hebrew
Italian
Japanese
Korean
Portuguese
Russian
Serbian
Spanish
Swedish
Turkish
Additional
Research Institute for Symbolic Computation
English Wikipedia - The Free Encyclopedia
Download this dictionary
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