Scientific computing with automatic result verification - Adams, Ernest; Kulisch, Ulrich (Boston : Academic Press, 1993)
Includes bibliographical references and index
Keywords: Electronic data processing; Computer science -- Mathematics; Mathematics; Engineering mathematics