Remarks on the complexity of roundoff analysis

This publication has 7 references indexed in Scilit:

• Toward mechanical verification of properties of roundoff error propagation
  Published by Association for Computing Machinery (ACM) ,1973
• On the stability of finite numerical procedures
  Numerische Mathematik, 1972
• Automatic a priori round-off analysis
  Computing, 1972
• Numerical Stability in Problems of Linear Algebra
  SIAM Journal on Numerical Analysis, 1972
• Modern Error Analysis
  SIAM Review, 1971
• Statistical study of the rounding errors of some algebraic transformations
  USSR Computational Mathematics and Mathematical Physics, 1969
• A Decision Method for Elementary Algebra and Geometry
  Published by University of California Press ,1951