Checking approximate computations over the reals (1993)

by S Ar, M Blum, B Codenotti, P Gemmell
Venue:in Proceedings of the 25th Annual ACM Symposium on the Theory of Computing