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