Jump to content

Research Institute for Symbolic Computation

From Wikipedia, the free encyclopedia
This is an old revision of this page, as edited by D6 (talk | contribs) at 14:02, 16 May 2009 (fmt headline levels (to start with "==", WP Check Wikipedia check #7). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

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. In 1999, Franz Winkler took over as chairman.


Stub icon

This computer science article is a stub. You can help Wikipedia by expanding it.

Retrieved from "https://en.wikipedia.org/w/index.php?title=Research_Institute_for_Symbolic_Computation&oldid=290314209"