Modern Computer Algebra – Joachim von zur Gathen, Jürgen Gerhard