PhD student at RISC -
Research Institute for
Symbolic Computation



Address:
Research Institute for Symbolic Computation
Johannes Kepler University
Altenberger Straße 69
A-4040 Linz, Austria

Email:
mgallet at risc.jku.at