Research Institute for Symbolic Computation Johannes Kepler University