Tools

LEADER 01583cam 2200385Ia 4500

001 ocm26917369;

003 OCoLC;

005 20141212093936.0;

008 921105s1993 maua b 001 0 eng d;

020 a| 0120442108;

035 a| (Sirsi) o26917369;

035 a| (OCoLC)26917369;

049 a| EREE;

090 a| QA297b| .S384 1993;

092 0 a| 519.4b| Sci272| 20;

245 00 a| Scientific computing with automatic result verification /c| edited by E. Adams, U. Kulisch.;

300 a| x, 612 pages :b| illustrations ;c| 24 cm.;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

490 1 a| Mathematics in science and engineering ;v| v. 189;

500 a| "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.;

504 a| Includes bibliographical references and index.;

650 0 a| Numerical calculationsx| Verification.=| ^A302675;

650 0 a| Numerical analysisx| Computer programs.=| ^A133893;

650 0 a| Algorithms.=| ^A17554;

700 1 a| Adams, Ernst.=| ^A302676;

700 1 a| Kulisch, Ulrich.=| ^A302677;

830 0 a| Mathematics in science and engineeringv| v. 189.=| ^A19809;

919 a| BOOK;

596 a| 1;

998 a| 450296;

999 a| QA297 .S384 1993w| LCc| 1i| 30372006811712d| 4/4/2013f| 4/4/2013g| 1l| JGESm| JOYNERr| Ys| Yt| JGESBKu| 2/19/1993x| BOOKz| JSTACKSo| .STAFF. 0;

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

Other author	Adams, Ernst.
Other author	Kulisch, Ulrich.
Format	Book
Publication Info	Boston : Academic Press, ©1993.
Description	x, 612 pages : illustrations ; 24 cm.
Subjects	Numerical calculations--Verification. Numerical analysis--Computer programs. Algorithms.

Series	Mathematics 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 note	Includes bibliographical references and index.
ISBN	0120442108

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

Click here for more information about this title