Research Institute for Symbolic Computation photograph

Research Institute For Symbolic Computation

Use attributes for filter !
Date of Reg.
Date of Upd.
ID4307502
Send edit request

About Research Institute For Symbolic Computation

The Research Institute for Symbolic Computation is a 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.

Next Profile ❯