Computer algebra handbook foundations, applications, systems (Springer, 2003)