Research Catalog

Scientific computation with automatic result verification

Title
Scientific computation with automatic result verification / U. Kulisch and H.J. Stetter (eds.).
Publication
Wien ; New York : Springer-Verlag, ©1988.

Items in the Library & Off-site

Filter by

1 Item

StatusFormatAccessCall NumberItem Location
Request for On-site UseRequest Scan
How do I pick up this item and when will it be ready?
TextUse in library QA297 .S392 1988Off-site

Details

Additional Authors
  • Kulisch, Ulrich.
  • Stetter, Hans J., 1930-
  • Universität Karlsruhe. Institut für Angewandte Mathematik.
  • GAMM Committee on "Computer Arithmetic and Scientific Computation."
Description
viii, 244 pages : illustrations; 25 cm.
Series Statement
Computing. Supplementum ; 6
Uniform Title
Computing (Springer-Verlag). Supplementum ; 6.
Subject
  • Numerical calculations > Verification > Congresses
  • Algorithms > Congresses
  • Algorithms
  • Numerical calculations > Verification
  • Programmverifikation
  • Numerieke wiskunde
  • Numerieke methoden
  • Algoritmen
Genre/Form
Conference papers and proceedings.
Note
  • Based on papers presented at a conference held Sept. 30-Oct. 2, 1987 in Karlsruhe and co-sponsored by the Institute for Applied Mathematics of Karlsruhe University and the GAMM Committee on "Computer Arithmetic and Scientific Computation".
Bibliography (note)
  • Includes bibliographies.
ISBN
  • 0387820639
  • 9780387820637
  • 3211820639
  • 9783211820636
LCCN
88024988
OCLC
  • ocm18496970
  • 18496970
  • SCSB-9199987
Owning Institutions
Princeton University Library