Computer algebra handbook foundations applications systems - Grabmeier, Johannes (Berlin Springer, 2003)