Paul S. Wang
Paul S. Wang.
The undecidability of the existence of zeros of real elementary functions.
Journal of the ACM
, 21(4):586-589, October 1974.
References, etc.
Shortcuts:
Journal of the ACM homepage
Bibliography top level
Journal of the ACM Author Index
Search the HBP database