Auto-Validating Numerical Methods

Häftad, Engelska

Av Warwick Tucker

789 kr

Slutsåld

Produktinformation

Mått170 x 240 x undefined mm
SpråkEngelska
SerieFrontiers in Mathematics
Antal sidor170
FörlagBirkhauser Verlag AG
EAN9783034603010

Mer från samma författare

Validated Numerics

Validated Numerics

709 kr

Validated Numerics

Validated Numerics

479 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

719 kr

Du kanske också är intresserad av

Den yttersta hemligheten

Nyhet

Del 6

Den yttersta hemligheten

329 kr

Validated Numerics

Validated Numerics

479 kr

Validated Numerics

Validated Numerics

709 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

719 kr

Vargars lek

Nyhet

Del 2

Vargars lek

Niklas Natt och Dag

289 kr329 kr

Yumi & Tomu. Halloweenboken

Nyhet

Del 1

Yumi & Tomu. Halloweenboken

Maria Frensborg, Tomu, Yumi

199 kr

Kvinnorna

4 pocket för 3

Kvinnorna

125 kr

Kalender 2026 Business Twist rosa

Nyhet

Kalender 2026 Business Twist rosa

Burde

179 kr

Halva Malmö består av killar som dumpat mig

4 pocket för 3

Halva Malmö består av killar som dumpat mig

115 kr

Staten mot kapitalet

Nyhet

Staten mot kapitalet

Alexander Ernstberger

299 kr

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