Scientific computation with automatic result verification

Saved in:

Bibliographic Details
Other Authors:	Kulisch, Ulrich, Stetter, Hans J. 1930-
Format:	Unknown
Published:	New York Springer-Verlag 1988
Series:	Computing. Supplementum 6
Subjects:	Numerical calculations > Verification > Congresses Algorithms > Congresses
Online Access:	Click Here to View Status and Holdings.
Tags:	Add Tag No Tags, Be the first to tag this record!

Internet