Götz Alefeld Jiri Rohn Siegfried M. Rump Tetsuro Yamamoto Introduction: Symbolic Algebraic Methods and Verification Methods. 1-2 2001 books/sp/Alefeld2001 Symbolic Algebraic Methods and Verification Methods db/books/collections/samvm2001.html#AlefeldRRY01