Checking approximate computations over the reals

  title={Checking approximate computations over the reals},
  author={Sigal Ar and Manuel Blum and Bruno Codenotti and Peter Gemmell},
Checking Approximate Computations over the Reals S. Ar” M. Blumt B. Codenotti$ P. Gemmell~ This paper provides the first systematic investigation of checking approximate numerical computations over subsets of the reals. In most cases, approximate checking is more challenging than exact checking. Problem conditioning, i.e., the measure of sensitivity of the output to slight changes in the input, and the presence of approximate ion parameters foil the direct transformation of many exact checkers… CONTINUE READING
17 Citations
1 References
Similar Papers


Publications referenced by this paper.

Designing Programs to Check their Work. ICSI TR-88-009

  • R. Beigel
  • In Proc. 21st ACM Sympostum on Theory of…
  • 1989
Highly Influential
8 Excerpts

Similar Papers

Loading similar papers…