Computer algebra and symbolic computation mathematical methods - Cohen, Joel S. (Peters, 2003)