Book 1995

C++ Toolbox for Verified Computing I

Basic Numerical Problems Theory, Algorithms, and Programs

ISBN: 978-3-642-79653-1 (Print) 978-3-642-79651-7 (Online)

Table of contents (14 chapters)

  1. Front Matter

    Pages i-xvii

  2. Introduction

    1. No Access

      Chapter

      Pages 1-14

      Introduction

  3. Preliminaries

    1. Front Matter

      Pages 15-15

    2. No Access

      Chapter

      Pages 17-29

      The Features of C-XSC

    3. No Access

      Chapter

      Pages 30-53

      Mathematical Preliminaries

  4. One-Dimensional Problems

    1. Front Matter

      Pages 55-55

    2. No Access

      Chapter

      Pages 57-69

      Evaluation of Polynomials

    3. No Access

      Chapter

      Pages 70-92

      Automatic Differentiation

    4. No Access

      Chapter

      Pages 93-112

      Nonlinear Equations in One Variable

    5. No Access

      Chapter

      Pages 113-139

      Global Optimization

    6. No Access

      Chapter

      Pages 140-163

      Evaluation of Arithmetic Expressions

    7. No Access

      Chapter

      Pages 164-185

      Zeros of Complex Polynomials

  5. Multi-Dimensional Problems

    1. Front Matter

      Pages 187-187

    2. No Access

      Chapter

      Pages 189-209

      Linear Systems of Equations

    3. No Access

      Chapter

      Pages 210-243

      Linear Optimization

    4. No Access

      Chapter

      Pages 244-292

      Automatic Differentiation for Gradients, Jacobians, and Hessians

    5. No Access

      Chapter

      Pages 293-311

      Nonlinear Systems of Equations

    6. No Access

      Chapter

      Pages 312-342

      Global Optimization

  6. Back Matter

    Pages 343-382