Validated numerics [electronic resource] : a short introduction to rigorous computations / Warwick Tucker.

Αποθηκεύτηκε σε:
Λεπτομέρειες βιβλιογραφικής εγγραφής
Έκδοση: Princeton : Princeton University Press, c2011.
Διαθέσιμο Online:
Κύριος συγγραφέας:
Tucker, Warwick, 1961-
Θέματα:
Numerical calculations > Verification.
Science > Data processing.
Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
Validated numerics a short introduction to rigorous computations /
Πίνακας περιεχομένων:
  • Chapter 1. Computer Arithmetic
  • Chapter 2. Interval Arithmetic
  • Chapter 3. Interval Analysis
  • Chapter 4. Automatic Differentiation
  • Chapter 5. Interval Analysis in Action
  • Chapter 6. Ordinary Differential Equations.

Παρόμοια τεκμήρια