Wolfgang Schreiner Research Institute for Symbolic Computation Johannes Kepler University, Linz, Austria