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