Checking approximate computations over the reals
Proceedings of the twenty-fifth annual ACM symposium on Theory of computing - STOC ’93
P. Gemmell
B. Codenotti
M. Blum
Stable distributions, pseudorandom generators, embeddings, and data stream computation