Algorithms for verified inclusions: theory and practice Rump, Siegfried M. 1988 - TUHH Open Research - frei zugänglich
Garantiert richtige Ergebnisse auf Rechenanlagen Rump, Siegfried M. 1988 - TUHH Open Research - frei zugänglich