Merkliste 
 1 Ergebnisse 
 
1

Checking approximate computations over the reals:

, In: Proceedings of the twenty-fifth annual ACM symposium on Theory of Computing,
Ar, S. ; Blum, M. ; Codenotti, B.. - p. 786-795 , 1993