Scientific computing with automatic result verification / edited by E. Adams, U. Kulisch.

Other author Adams, Ernst.
Other author Kulisch, Ulrich.
Format Book
Publication InfoBoston : Academic Press, ©1993.
Descriptionx, 612 pages : illustrations ; 24 cm.
Subjects

SeriesMathematics in science and engineering ; v. 189
Mathematics in science and engineering v. 189. ^A19809
General note"The bulk of the papers collected in this book represent selected material taken from doctoral or diploma theses which were written at the Institute for Applied Mathematics at the University of Karlsruhe"--P. ix.
Bibliography noteIncludes bibliographical references and index.
ISBN0120442108

Availability

Library Location Call Number Status Item Actions
Joyner General Stacks QA297 .S384 1993 ✔ Available Place Hold