Symbolic Algebraic Methods And Verification Methods by G. Alefeld & S. Rump