Conference
Checking approximate computations over the reals.
| Title: | Checking approximate computations over the reals. |
|---|---|
| Authors: | Ar, S., Blum, M., Codenotti, B., Gemmell, P. |
| Source: | Proceedings of the Twenty-Fifth Annual ACM Symposium: Theory of Computing; 6/1/1993, p786-795, 10p |
| DOI: | 10.1145/167088.167288 |
| Database: | Complementary Index |