Department of Computer Science, West University, Timisoara, Romania
Research Institute for Symbolic Computation Johannes Kepler University Linz, Austria
Research Institute e-Austria Timisoara