Scientific computing with automatic result verification / edited by E. Adams and U. Kulisch
Scientific computing with automatic result verification / edited by E. Adams and U. Kulisch - - Boston : Academic Press, 1993 1993 - x,612 p. 23.5 cm - .
0-12-044210-86
Computer algorithms
Numerical calculations-Computer programs
518.6:681.3.06 Sci