ABSTRACT
A solution for a version of the identify problem is proposed for a class of functions including the elementary functions. Given f(x), g(x), defined at some point β we decide whether or not f(x) = g(x) in some neighbourhood of β. This problem is first reduced to a problem about zero equivalence of elementary constants. Then a semi algorithm is given to solve the elementary constant problem. This semi algorithm is guaranteed to give the correct answer whenever it terminates, and it terminates unless the problem being considered contains a counterexample to Schanuel's conjecture.
- 1.J. Ax. Schanuel's conjecture. Ann Math, 93:252-268, 1971.Google Scholar
- 2.B. F. Caviness. On canonical forms and simplification. Journal of the A CM, 17(2):385-396, April 1970. Google ScholarDigital Library
- 3.J. Cronin. Fixed Points and Topological Degree in Non. linear Analysis. American Mathematical Society, 1964.Google Scholar
- 4.H. R. P. Ferguson and R.W. Forcade. Multidimensional euclidean algorithms. J. Reine Ange. Math, 33:171-181, 1982.Google Scholar
- 5.N. G. Lloyd. Degree Theory. C.U.P., 1968.Google Scholar
- 6.P. Moseley. CMculating topological degree. Technical report, Bath University School of Mathematical Sciences, 1993.Google Scholar
- 7.W. Naylor. Master's thesis, School of Mathematical Sciences, University of Bath, 1993.Google Scholar
- 8.M. Pohst. A modification of the LLL reduction algorithm. J. Symbolic Computation, 4:123-127, 1987. Google ScholarDigital Library
- 9.P. Rabinowitz, editor. Numerical Methods for Nonlinear Algebraic Equations. Gordon and Breach, 1970.Google Scholar
- 10.D. Richardson. Some undecidabte problems involving elementary functions of a real variable. Journal of Symbolic Logic, pages 514-520, 1968.Google Scholar
- 11.D. Richardson. The elementary constant problem. In Proceedings of ISSAC92, Berkeley, California. SIGSAM, ACM, July 1992. Google ScholarDigital Library
- 12.D. Richardson. A zero structure theorem for exponentim systems. In Proceedings of ISSA C93, Kiev, Ukraine. SIGSAM, ACM, July 1993. Google ScholarDigital Library
- 13.M. Rosenlicht. On Liouville's theory of elementary functions. Pacific Journal of Mathematics, 65(2):485- 492, 1976.Google ScholarCross Ref
- 14.J. Shackell. A differential equations approach to functional equivalence. In G. Gonnet, editor, ISSAC'89, ISSAC, pages 7-10. ACM, ACM Press, 1989. Google ScholarDigital Library
- 15.W. T. Wu. Basic principles of mechanical theorem proving in elementary geometries. J. Sys. Sci. and Math. Scis, f(3):207-235, 1994.Google Scholar
Index Terms
- The identity problem for elementary functions and constants
Recommendations
Integration of elementary functions
We extend a recent algorithm of Trager to a decision procedure for the indefinite integration of elementary functions. We can express the integral as an elementary function or prove that it is not elementary. We show that if the problem of integration ...
On multivariate orthogonal polynomials and elementary symmetric functions
AbstractWe study families of multivariate orthogonal polynomials with respect to the symmetric weight function in d variables
for , where is an univariate weight function in and with ...
Comments