Affiliation: | a Research Institute for Symbolic Computation, Johannes Kepler University Linz, Altenbergerstrasse 69, A-4040 Linz, Austria b Department of Knowledge-Based Mathematical Systems, Johannes Kepler University Linz, Altenbergerstrasse 69, A-4040 Linz, Austria |