Solving mathematical exercises that involve symbolic computations | IEEE Journals & Magazine | IEEE Xplore