Mathematical Preliminaries

Ulrich Kulisch, Rolf Hammer, Matthias Hocks and Dietmar Ratz
Additional contact information
Ulrich Kulisch: Universität Karlsruhe, Institut für Angewandte Mathematik
Rolf Hammer: Universität Karlsruhe, Institut für Angewandte Mathematik
Matthias Hocks: Universität Karlsruhe, Institut für Angewandte Mathematik
Dietmar Ratz: Universität Karlsruhe, Institut für Angewandte Mathematik

Chapter Chapter 3 in C++ Toolbox for Verified Computing I, 1995, pp 30-53 from Springer

Abstract: Abstract Interval arithmetic is the basic mathematical tool in verified numerical computing. This chapter summarizes the mathematical terms used in this book. After an introduction to real, complex, and extended interval arithmetic, we make some comments on the realization of arithmetics on a digital computer. We also touch on the problem of data conversion. Finally, we point out how to use fixed-point theorems to derive algorithms for verified numerical computing.

Keywords: Interval Arithmetic; Real Interval; Interval Extension; Interval Vector; Mathematical Preliminary (search for similar items in EconPapers)
Date: 1995
References: Add references at CitEc
Citations:

There are no downloads for this item, see the EconPapers FAQ for hints about obtaining it.

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:spr:sprchp:978-3-642-79651-7_3

Ordering information: This item can be ordered from
http://www.springer.com/9783642796517

DOI: 10.1007/978-3-642-79651-7_3

Access Statistics for this chapter

More chapters in Springer Books from Springer
Bibliographic data for series maintained by Sonal Shukla () and Springer Nature Abstracting and Indexing ().