Scientific computing with automatic result verification
By: edited by E. Adams, U. Kulisch.
Contributors: Adams, Ernst.; Kulisch, Ulrich.
Series: Mathematics in science and engineering ;; v. 189
Publisher: Academic Press
Published: 1993
Place of publication: Boston
Language: eng
Number of pages: 612
Subjects: Electronic data processing.; Computer science -- Mathematics.
Notes: Includes bibliographical references and index.