Solving mathematical exercises that involve symbolic computations - Díez, F; Moriyón, R; (Computing In Science & Engineering, 2004)