Auto-Validating Numerical Methods

Häftad, Engelska

Av Warwick Tucker

779 kr

Slutsåld

Produktinformation

Mått170 x 240 x undefined mm
FormatHäftad
SpråkEngelska
SerieFrontiers in Mathematics
Antal sidor170
FörlagBirkhauser Verlag AG
ISBN9783034603010

Tillhör följande kategorier

Introduction // 1 Computer arithmetic: 1.1 Positional systems/ 1.2 Floating point numbers / 1.3 Rounding / 1.4 Floating point arithmetic / 1.5 The IEEE standards / 1.6 Examples of floating point computations / 1.7 Computer Lab I // 2 Interval arithmetic: 2.1 Real intervals / 2.2 Real interval arithmetic / 2.3 Extended interval arithmetic / 2.4 Containment sets // 3 Interval analysis: 3.1 Interval functions / 3.2 Centered forms / 3.3 Monotonicity / 3.4 Computer Lab II // 4 Automatic differentiation: 4.1 First-order derivatives / 4.2 Higher-order derivatives / 4.3 Higher-order enclosures / Computer Lab III // 5 Interval analysis in action: 5.1 Root finding / 5.2 Optimization / 5.3 Quadrature / 5.4 Computer Lab IV // 6 Ordinary differential equations: 6.1 A gentle mathematical introduction / 6.2 Simple enclosure methods / 6.3 Higher-order methods / 6.4 Rigorous higher-order examples // Appendices: A Mathematical foundations: A.1 The rational numbers / A.2 What is a real number? / A.3 Completeness / A.4 Fixed point theorems // B Program codes: B.1 IEEE constants / B.2 Changing rounding modes / B.3 IA sample code in C / B.4 IA sample code in C++ // Bibliography

Mer från samma författare

Validated Numerics

Validated Numerics

699 kr

Validated Numerics

Validated Numerics

469 kr

Scientific Computing, Computer Arithmetic, and Validated Numerics

Scientific Computing, Computer Arithmetic, and Validated Numerics

Marco Nehmeier, Jürgen Wolff von Gudenberg, Warwick Tucker, Jurgen Wolff von Gudenberg, Jürgen Wolff Von Gudenberg

699 kr

Du kanske också är intresserad av

Validated Numerics

Validated Numerics

469 kr

Validated Numerics

Validated Numerics

699 kr

Scientific Computing, Computer Arithmetic, and Validated Numerics

Scientific Computing, Computer Arithmetic, and Validated Numerics

Marco Nehmeier, Jürgen Wolff von Gudenberg, Warwick Tucker, Jurgen Wolff von Gudenberg, Jürgen Wolff Von Gudenberg

699 kr

Charmen med tarmen : allt om ett av kroppens mest underskattade organ

4 pocket för 3

Charmen med tarmen : allt om ett av kroppens mest underskattade organ

115 kr

Din kropp vet svaret

Nyhet

Din kropp vet svaret

329 kr

Moralisk ambition : sluta slösa bort din begåvning och skapa något som verkligen får betydelse

Nyhet

Moralisk ambition : sluta slösa bort din begåvning och skapa något som verkligen får betydelse

339 kr

Let them-teorin (svensk utgåva)

Let them-teorin (svensk utgåva)

Mel Robbins, Sawyer Robbins

299 kr

Väggkalender 2026 Elsa Beskow

Väggkalender 2026 Elsa Beskow

Kollektion Stora A

199 kr

Judas

Nyhet

Judas

249 kr279 kr

Hembiträdet

Nyhet

Del 1

Hembiträdet

Freida McFadden

125 kr