Computer Algebra in Scientific Computing - Gerdt (Springer International Publishing, 2013)