Skip to main content
Disciplines
Automotive Business IT + Informatics Construction + Real Estate Electrical Engineering + Electronics Energy + Sustainability Insurance + Risk Finance + Banking Management + Leadership Marketing + Sales Mechanical Engineering + Materials
Events
DE
EN
Books
Journals
Topic Page
Marketing
Start single access now
Access for companies
EXTENDED SEARCH
Log in
Top
Published in:
Cover of the book

1988 | OriginalPaper | Chapter

Automatic Result Verification

Authors : Prof. Dr. U. Kulisch, Prof. Dr. H. J. Stetter

Published in: Scientific Computation with Automatic Result Verification

Publisher: Springer Vienna

Included in: Professional Book Archive

Get Access

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

Automatic Result Verification. As an introduction to the following articles, we explain the meaning of automatic result verification as a tool in Scientific Computation; then we shortly sketch its principal methods and put the papers of the volume into a common perspective.

next chapter A Method for Producing Verified Results for Two-Point Boundary Value Problems
Metadata
Title
Automatic Result Verification
Authors
Prof. Dr. U. Kulisch
Prof. Dr. H. J. Stetter
Copyright Year
1988
Publisher
Springer Vienna
Book
Scientific Computation with Automatic Result Verification

Print ISBN: 978-3-211-82063-6

Electronic ISBN: 978-3-7091-6957-5

Copyright Year: 1988

DOI
https://doi.org/10.1007/978-3-7091-6957-5_1

Premium Partner

    Image Credits