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