RISC - Research Institute for Symbolic Computation, Johannes Kepler University Linz
RISC about  |  people  |  publications
research  |  education  |  industry
conferences  |  media  |  projects
H. Huang receives best poster award at ISSAC'14  > more
Theorema 2.0 available  > more
Start of the RISC Summer 2014  > more
AEC Summer School: Aug 18--22  > more
Ph.D. student positions available  > more
Research - Education - Industry
Johannes Kepler University Linz Welcome! Research Education Industry