Checking Approximate Computations over the Reals (1993)

Cached

Download Links

by S. Ar , M. Blum , B. Codenotti , P. Gemmell
Venue:Proc. 25th STOC
Citations:25 - 6 self