GANA - Guaranteed accuracy for numerical algorithms Claudio, Dalcidio M. Rump, Siegfried M. 1993 - TUHH Open Research
Inclusion methods for real and complex functions in one variable Claudio, Dalcidio M. Rump, Siegfried M. 1992 - TUHH Open Research