U. Kulisch

Wissentschafliches Rechnen mit Ergebnisverifikation

Vieweg, Braunschweig(ISBN 3-528-08943-1), 1989.

Institut für Angewandte Mathematik - zuletzt geändert am 15.11.1995