Research Institute for Symbolic Computation Institution1120509RISCJohannes Kepler University, Altenbergerstrasse 69, A-4040 LinzAutriche