Gleitkommaarithmetik auf dem Prüfstand: Wie werden verifiziert(e) numerische Lösungen berechnet? Rump, Siegfried M. 2016 - TUHH Open Research