1995 | OriginalPaper | Buchkapitel
Introduction
verfasst von : Prof. Dr. Ulrich Kulisch, Dr. Rolf Hammer, Dr. Matthias Hocks, Dr. Dietmar Ratz
Erschienen in: C++ Toolbox for Verified Computing I
Verlag: Springer Berlin Heidelberg
Enthalten in: Professional Book Archive
Aktivieren Sie unsere intelligente Suche um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
This is a reference book for numerical methods with automatic result verification. The methods presented here are practical, reliable, and elegant. We provide theory, algorithmic descriptions, and implementations for methods to solve a number of basic numerical problems in a reliable way. Also, this book can help you to learn how to develop such methods and how to proceed for other problems beyond the scope of the book.