Wissenschaftliches Rechnen mit Ergebnisverifikation : Eine Einführung - Kulisch, U. (Mathematical research, 1989)