GANA - Guaranteed accuracy for numerical algorithms Claudio, Dalcidio M. Rump, Siegfried M. 1993 - TUHH Open Research