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

1 309 kr

Validated Numerics

Validated Numerics

539 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

709 kr

Du kanske också är intresserad av

Hitster - Christmas

Hitster - Christmas

Jumbo

219 kr259 kr

Validated Numerics

Validated Numerics

539 kr

Validated Numerics

Validated Numerics

1 309 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

709 kr

Hon som blev kvar

Hon som blev kvar

79 kr125 kr

Julkalas, Alfons Åberg

Nyhet

Julkalas, Alfons Åberg

Gunilla Bergström

179 kr

Cuddly Christmas. Mysig och gullig Cozy Coloring målarbok från Coloring Book Cafe

Cuddly Christmas. Mysig och gullig Cozy Coloring målarbok från Coloring Book Cafe

Coloring Book Cafe

99 kr

Sjömannen : Spänningsberättelser

Nyhet

Sjömannen : Spänningsberättelser

289 kr319 kr

Kafé Pumpkin Spice

Nyhet

Del 1

Kafé Pumpkin Spice

79 kr125 kr

Snön faller tät på Mistletoe Square

Nyhet

Snön faller tät på Mistletoe Square

79 kr125 kr