C++ Toolbox for Verified Computing I

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

in Springer Books from Springer

Date: 1995
ISBN: 978-3-642-79651-7
References: Add references at CitEc
Citations:

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

Chapters in this book:

Ch Chapter 1 Introduction

Ulrich Kulisch, Rolf Hammer, Matthias Hocks and Dietmar Ratz

Ch Chapter 10 Linear Systems of Equations

Ulrich Kulisch, Rolf Hammer, Matthias Hocks and Dietmar Ratz

Ch Chapter 11 Linear Optimization

Ulrich Kulisch, Rolf Hammer, Matthias Hocks and Dietmar Ratz

Ch Chapter 12 Automatic Differentiation for Gradients, Jacobians, and Hessians

Ulrich Kulisch, Rolf Hammer, Matthias Hocks and Dietmar Ratz

Ch Chapter 13 Nonlinear Systems of Equations

Ulrich Kulisch, Rolf Hammer, Matthias Hocks and Dietmar Ratz

Ch Chapter 14 Global Optimization

Ulrich Kulisch, Rolf Hammer, Matthias Hocks and Dietmar Ratz

Ch Chapter 2 The Features of C-XSC

Ulrich Kulisch, Rolf Hammer, Matthias Hocks and Dietmar Ratz

Ch Chapter 3 Mathematical Preliminaries

Ulrich Kulisch, Rolf Hammer, Matthias Hocks and Dietmar Ratz

Ch Chapter 4 Evaluation of Polynomials

Ulrich Kulisch, Rolf Hammer, Matthias Hocks and Dietmar Ratz

Ch Chapter 5 Automatic Differentiation

Ulrich Kulisch, Rolf Hammer, Matthias Hocks and Dietmar Ratz

Ch Chapter 6 Nonlinear Equations in One Variable

Ulrich Kulisch, Rolf Hammer, Matthias Hocks and Dietmar Ratz

Ch Chapter 7 Global Optimization

Ulrich Kulisch, Rolf Hammer, Matthias Hocks and Dietmar Ratz

Ch Chapter 8 Evaluation of Arithmetic Expressions

Ulrich Kulisch, Rolf Hammer, Matthias Hocks and Dietmar Ratz

Ch Chapter 9 Zeros of Complex Polynomials

Ulrich Kulisch, Rolf Hammer, Matthias Hocks and Dietmar Ratz

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:sprbok:978-3-642-79651-7

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

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

Access Statistics for this book

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