Additional Key Words and Phrases: symbolic mathematics, nonnumerical mathematics, formula manipulation, simplification, canonical form, normal form, standard form, exponential expressions
Selected papers that cite this one
- S. C. Johnson. On the problem of recognizing zero. Journal of the ACM, 18(4):559-565, October 1971.
- Paul S. Wang. The undecidability of the existence of zeros of real elementary functions. Journal of the ACM, 21(4):586-589, October 1974.