Checking approximate computations over the reals.

Sigal Ar, Manuel Blum, Bruno Codenotti, Peter Gemmell

Browse the full STOC paper archive.