Coverart for item
The Resource Lectures on finite precision computations, Françoise Chaitin-Chatelin, Valérie Frayssé, (electronic resource)

Lectures on finite precision computations, Françoise Chaitin-Chatelin, Valérie Frayssé, (electronic resource)

Lectures on finite precision computations
Lectures on finite precision computations
Statement of responsibility
Françoise Chaitin-Chatelin, Valérie Frayssé
Finite precision computations are at the heart of the daily activities of many engineers and researchers in all branches of applied mathematics. Written in an informal style, the book combines techniques from engineering and mathematics to describe the rigorous and novel theory of computability in finite precision. In the challenging cases of nonlinear problems, theoretical analysis is supplemented by software tools to explore the stability on the computer
Member of
Additional physical form
Also available in print version.
Cataloging source
index present
Literary form
non fiction
Nature of contents
  • dictionaries
  • bibliography
Series statement
Software, environments, tools
Series volume
Target audience
Lectures on finite precision computations, Françoise Chaitin-Chatelin, Valérie Frayssé, (electronic resource)
Lectures on finite precision computations, Françoise Chaitin-Chatelin, Valérie Frayssé, (electronic resource)
Related Contributor
Related Location
Related Agents
Related Authorities
Related Subjects
Related Items
Bibliography note
Includes bibliographical references (p. 219-232) and index
black and white
  • Foreword by Iain S. Duff -- Preface -- General presentation notations -- Part one. Computability in finite precision, well-posed problems -- Approximations -- Convergence in exact arithmetic -- Computability in finite precision -- Gaussian elimination -- Forward error analysis -- The influence of singularities -- Numerical stability in exact arithmetic -- Computability in finite precision for iterative and approximate methods -- The limit of numerical stability in finite precision -- Arithmetically robust convergence -- The computed logistic -- Bibliographical comments --
  • Part two. Measures of stability for regular problems, choice of data and class of perturbations -- Choice of norms, scaling -- Conditioning of regular problems -- Simple roots of polynomials -- Factorizations of a complex matrix -- Solving linear systems -- Functions of a square matrix -- Concluding remarks -- Bibliographical comments --
  • Part three. Computation in the neighbourhood of a singularity, singular problems which are well-posed -- Condition numbers of Hölder-Singularities -- Computability of ill-posed problems -- Singularities of z ----> A - zI -- Distances to singularity -- Unfolding of singularity -- Spectral portraits -- Bibliographical comments --
  • Part four. Arithmetic quality of reliable algorithms, forward and backward analyses -- Backward error -- Quality of reliable software -- Formulae for backward errors -- Influence of the class of perturbations -- Iterative refinement for backward stability -- Robust reliability and arithmetic quality -- Bibliographical comments --
  • Part five. Numerical stability in finite precision, iterative and approximate methods -- Numerical convergence of iterative solvers -- Stopping criteria in finite precision -- Robust convergence -- The computed logistic revisited -- Care of use -- Bibliographical comments --
  • Part six. Software tools for round-off error analysis in algorithms, a historical perspective -- The assessment of the quality of the numerical software -- Backward error analysis in libraries -- Sensitivity analysis -- Interval analysis -- Probabilisitc models -- Computer algebra -- Bibliographical comments --
  • Part seven. The toolbox PRECISE for computer experimentation, what is PRECISE? -- Module for backward error analysis -- Sample size -- Backward analysis with PRECISE -- Dangerous border and unfolding of a singularity -- Summary of module 1 -- Bibliographical comments --
  • Part eight. Experiments with PRECISE, format of the examples -- Backward error analysis for linear systems -- Computer unfolding of singularity -- Dangerous border and distance to singularity -- Roots of polynomials -- Eigenvalue problems -- Conclusion -- Bibliographical comments --
  • Part Nine. Robustness to nonnormality, nonnormality and spectral instability -- Nonnormality in physics and technology -- Convergence of numerical methods in exact arithmetic -- Influence on numerical software -- Bibliographical comments --
  • Part ten. Qualitative computing, sensitivity and pseudosolutions for F (x) = y -- Pseudospectra of matrices -- Pseudozeroes of polynomials -- Divergence portrait for the complex logistic iteration -- Qualitative computation of a Jordan form -- Beyond linear perturbation theory -- Bibliographical comments -- Part eleven. More numerical illustrations with PRECISE, Annex, The Toolbox PRECISE for MATLAB -- Index -- Bibliography
{'f': ''}
1 electronic text (xv, 235 p.)
File format
multiple file formats
Form of item
Governing access note
Restricted to subscribers or individual electronic text purchasers
Isbn Type
(electronic bk.)
Other physical details
ill., digital file.
Publisher number
Reformatting quality
Specific material designation
System details
  • Mode of access: World Wide Web
  • System requirements: Adobe Acrobat Reader

Library Locations

    • Folsom LibraryBorrow it
      110 8th St, Troy, NY, 12180, US
      42.729766 -73.682577
Processing Feedback ...