Computer Algebra 

Foundations and Applications