About Research Institute for Symbolic Computation (RISC-Linz)
Research Institute for Symbolic Computation (RISC-Linz)- An institute of the Johannes Kepler University in Linz, Austria, founded in 1987 by Prof. Bruno Buchberger. Research focuses on the interaction and integration of mathematics and computer science. Site has project descriptions, publications, courses and software.
