Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.
1
Du-Bois Reymond, P. Ueber asymptotische Werthe, infinitaere Approximationen und infinitaere Auflosung von Gleichungen. (1875)
2
Davenport, J. H., Siret, Y. and Tournier, E. Computer Algebra Harcourt Brace Jovanovich (1988)
3
Richardson, D. Some Undecidable Problems Involving Elementary Functions of a Real Variable. J. Symbolic Logic (1968), 33:514--520