Skip to main content
Erschienen in:
Buchtitelbild

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

Aktivieren Sie unsere intelligente Suche um passende Fachinhalte oder Patente zu finden.

search-config
loading …

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.

Metadaten
Titel
Introduction
verfasst von
Prof. Dr. Ulrich Kulisch
Dr. Rolf Hammer
Dr. Matthias Hocks
Dr. Dietmar Ratz
Copyright-Jahr
1995
Verlag
Springer Berlin Heidelberg
DOI
https://doi.org/10.1007/978-3-642-79651-7_1