Babylon 10
Simply the best definition!

Download it's free

Research Institute for Symbolic Computation

Wikipedia English 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. 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

| Research Institute for Symbolic Computation in English