A zero structure theorem for exponential polynomials

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

A zero structure theorem for exponential polynomials

Full text

Pdf (778 KB)

Source

International Conference on Symbolic and Algebraic Computation archive
Proceedings of the 1993 international symposium on Symbolic and algebraic computation table of contents

Kiev, Ukraine

Pages: 144 - 151

Year of Publication: 1993

ISBN:0-89791-604-2

Author

Daniel Richardson

Sponsor

SIGSAM: ACM Special Interest Group on Symbolic and Algebraic Manipulation

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 4, Downloads (12 Months): 31, Citation Count: 3

Additional Information:

references cited by index terms

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/164081.164110 What is a DOI?

REFERENCES

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	J. Ax, Schanuel's Conjecture, Ann Math 93 (1971), 252-68 A. Baker, Transcendental Number Theory, Cambridge U
	2	niversity Press, 1975
	3	j. Bochnak, M. Coste and M. F. Roy, Geometric Algebrique Reelle, Ergebnisse vol 12, Springer-Verlag, 1987.
	4	B. F. Caviness , M. J. Prelle, A note on algebraic independence of logarithmic and exponential constants, ACM SIGSAM Bulletin, v.12 n.2, p.18-20, May 1978 [doi>10.1145/1088261.1088265]
	5	Cronin, J., Fixed Points and Topological Degree in Nonlinear Analysis, American Mathematical Society, 1964
	6	B. i. Dahn, On Exponential Logarithmic Terms, Fundamenta Mathematicae, vol 127, pp 45-50, 1986
	7	Patrizia Gianni , Barry Trager , Gail Zacharias, Gro¨bner bases and primary decomposition of polynomial ideals, Journal of Symbolic Computation, v.6 n.2-3, p.149-167, Oct./Dec. 1988 [doi>10.1016/S0747-7171(88)80040-3]
	8	G.It. Hardy, Orders of Infinity, Cambridge 1910
	9	S. Lung, Introduction to Transcendental Numbers, Addison-Wesley, 1966
	10	N. G. Lloyd, Degree Theory, Cambridge University Press, 1978
	11	A. Macintyre, Schanuel's Conjecture and Free Exponential Rings, preprint, Oxford 1991
	12	D. Richardson, Finding roots of equations involving solutions of first order algebraic differential equations, pp 42%440 in Effective Methods in Algebraic Geometry, (Teo Morn and Carlo Traverso Eds), Birkhauser 1991
	13	D. Richardson, Wu's method and the Khovanskii finiteness theorem, Journal of Symbolic Computation, v.12 n.2, p.127-141, Aug. 1991 [doi>10.1016/S0747-7171(08)80122-8]
	14	Daniel Richardson, Computing the topology of a bounded non algebraic curve in the plane, Journal of Symbolic Computation, v.14 n.6, p.619-643, Dec. 1992
	15	Daniel Richardson, The elementary constant problem, Papers from the international symposium on Symbolic and algebraic computation, p.108-116, July 27-29, 1992, Berkeley, California, United States [doi>10.1145/143242.143284]
	16	M. t~osenlicht, On Liouville's theory of elementary functions, Pacific Journal of Mathematics, vol 65, no 2, 1976, pp 485-492
	17	B. Salvy, Asymptotique Automatique et Fonctions Generatrices, Thesis, Ecole Polytechnique
	18	J. Shackell, Limits of Liouvillian Functions, preprint 1991
	19	N.N. Vorobjov, Deciding consistency of systems of polynomial in exponent inequalities in subexponential time, pp 491-500 in Effective Methods in Algebraic Geometry, (Teo Morn and Carlo Traverso Eds), Birkhauser 1991
	20	A.J. Wilkie, Some model completeness results for expansions of the ordered field of real numbers by Pfaffian functions, preprint, Mathematics Institute, Oxford.
	21	S.C. Chou, W. F. Schelter, and J. G. Yang, Characteristic Sets and Grobner Bases in Geometry Theorem Proving, Draft, Institute for Computing Science, The University of Texas, Austin, TX 78712
	22	Wu, W.T., Basic Principles of Mechanical Theorem Proving in Elementary Geometries, J. Sys. Sci. and Math. Scis, f(3), 1984, 207-235

CITED BY 3

	Dan Richardson , John Fitch, The identity problem for elementary functions and constants, Proceedings of the international symposium on Symbolic and algebraic computation, p.285-290, July 20-22, 1994, Oxford, United Kingdom
	Daniel Richardson, A simplified method of recognizing zero among elementary constants, Proceedings of the 1995 international symposium on Symbolic and algebraic computation, p.104-109, July 10-12, 1995, Montreal, Quebec, Canada
	Johannes Grabmeier , Erich Kaltofen , Volker Weispfenning, Cited References, Computer algebra handbook, Springer-Verlag New York, Inc., New York, NY, 2003