rdf-syntax-grammar
mods:
  schema location: http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
  title info:
    title: C++ Toolbox for Verified Computing I
    sub title: Basic Numerical Problems Theory, Algorithms, and Programs
  title info:
    title: Theory, Algorithms, and Programs
  name:
    name part: Kulisch, Ulrich.
    role:
      role term: creator
  name:
    name part: Hammer, Rolf.
  name:
    name part: Hocks, Matthias.
  name:
    name part: Ratz, Dietmar.
  name:
    name part: SpringerLink (Online service)
  type of resource: text
  genre: Electronic books.
  origin info:
    place:
      place term: gw
    date issued: 1995
    issuance: monographic
  language:
    language term: eng
  physical description:
    form: remote
    extent: 1 online resource (XVIII, 382 pages)
  abstract: This C++ Toolbox for Verified Computing presents an extensive set of sophisticated tools for solving basic numerical problems with verification of the results. It is the C++ edition of the Numerical Toolbox for Verified Computing which was based on the computer language PASCAL-XSC. The sources of the programs in this book are freely available via anonymous ftp. This book offers a general discussion on arithmetic and computational reliablility, analytical mathematics and verification techniques, algoriths, and (most importantly) actual C++ implementations. In each chapter, examples, exercises, and numerical results demonstrate the application of the routines presented. The book introduces many computational verification techniques. It is not assumed that the reader has any prior formal knowledge of numerical verification or any familiarity with interval analysis. The necessary concepts are introduced. Some of the subjects that the book covers in detail are not usually found in standard numerical analysis texts.
  note: by Ulrich Kulisch, Rolf Hammer, Matthias Hocks, Dietmar Ratz.
  note: Electronic resource.
  subject:
    topic: Mathematics
  subject:
    topic: Global analysis (Mathematics)
  subject:
    topic: Algorithms
  subject:
    topic: Numerical analysis
  subject:
    topic: Mathematical physics
  subject:
    topic: Engineering mathematics
  subject:
    topic: Algorithms
  subject:
    topic: Engineering mathematics
  subject:
    topic: Global analysis (Mathematics)
  subject:
    topic: Mathematical physics
  subject:
    topic: Mathematics
  subject:
    topic: Numerical analysis
  classification: QA297-299.4
  classification: 518
  identifier: 9783642796517 (electronic bk.)
  identifier: 3642796516 (electronic bk.)
  identifier: http://proxy.library.tamu.edu/login
  record info:
    record content source: I9W
    record creation date: 121227
    record change date: 20260420201909.0
    record identifier: in00003544365
    language of cataloging:
      language term: eng