Additional Key Words and Phrases: recursive undecidability, real zeros of functions, convergence of integrals, algebraic manipulation, symbolic mathematics
Selected references
- B. F. Caviness. On canonical forms and simplification. Journal of the ACM, 17(2):385-396, April 1970.