Symbolic algebraic methods and verification methods - Alefeld, G. , 1941- (Springer, 2001)