Daniel Richardson
- J. A. Abbott, On the factorization of polynomials over algebraic fields, Bath computer science technical report 89-27Google Scholar
- A. Baker, Transcendental Number Theory, Cambridge University Press, 1975Google Scholar
- R. Bianconi, Some results in the model theory of analytic functions, Ph.D. thesis, Oxford, 1990.Google Scholar
- J. Bochnak, M. Coste and M. F. Roy, Geometrie Algebrique Reelle, Ergebnisse vol 12, Springer-Verlag, 1987.Google Scholar
- B. F. Caviness and M. J. Prelle, A note on algebraic independence of logarithmic and exponential constants, SIGSAM Bulletin, vol 12, no 2, pp 18-20, 1978 Google ScholarDigital Library
- M Coste and M.F. Roy, Thom's lemma, the Coding of real algebraic numbers and the computation of the topology of semi-algebraic sets, J. Symbolic Computation, 5, 121-129, 1988. Google ScholarDigital Library
- M. F. Roy and A. Szpirglas, Complexity of the computation on real algebraic numbers, 1988Google Scholar
- J. H. Davenport, Computer algebra for cylindric algebraic decomposition, TRITA-NA-8511, NADA, KTH, Stockholm 1985.Google Scholar
- B. I. Dahn, Noye on Exponential Logarithmic Terms, Fundamenta Mathematicae, vol 127, pp 45-50, 1896Google ScholarCross Ref
- P. Gianni, B. Trager, G. Zacharias, Groebner Bases and Primary Decomposition of Polynomial Ideals, Journal of Symbolic Computation 1988, 6, pp 149-167 Google ScholarDigital Library
- G.H. Hardy, Orders of Infinity, Cambridge 1910Google Scholar
- S. Lung, introduction to Transcendental Numbers, Addison-Wesley, 1966Google Scholar
- A. Macintyre, Schanuel's Conjecture and Free Exponential Rings, preprint, Oxford 1991Google Scholar
- D. Richardson, Some undecidable problems involving elementary functions of a real variable, J. Symb. Logic, v 33, no 4, pp 514-520, 1968Google Scholar
- D. Richardson, Solution of the identity problem for integral exponential functions, Zeitschr. F. math. Logik, Bd 15, s. 333-340, 1969Google Scholar
- D. Richardson, Roots of real exponential functions, Bull London Math Soc (2), 28, pp 46-56, 1983Google ScholarCross Ref
- D. Richardson, Finding roots of equations involving solutions of first order algebraic differential equations, pp 427-440 in Effective Methods in Algebraic Geometry, (Teo Mora and Carlo Traverso Eds), Birkhauser 1991Google Scholar
- D.Richardson, Wu's method and the Khovanskii finiteness theorem, Journal of Symbolic Computation, 1991, 12, pp 127-141 Google ScholarDigital Library
- D. Richardson, Towards computing non algebraic cylindrical decompositions, ISSAC 91,247-255 Google ScholarDigital Library
- D. Richardson, Computing the topology of a bounded non-algebraic curve in the plane, submitted to JSC Google ScholarDigital Library
- M. F. Roy , Computation of the topology of a real curve, Proceedings of the conference on computational geometry and topology, Sevilla 1987.Google Scholar
- B. Salvy, Asymptotique Automatique et Fonctions Generatrices, Thesis, Ecole Polytechnique Science et Vie Micro no 71, Avril 1990Google Scholar
- J. Shackell, Growth estimates for exp-log functions, preprint Institute of Mathematics, University of Kent at Canterbury, 1990.Google Scholar
- J. Shackell, A Differential Equations Approach to Functional Equivalence, Proceedings of ISSAC89, Portland Oregon, pp 3-7.Google Scholar
- J. Shackell, Limits of Liouvillian Functions, preprint 1991Google Scholar
- I. N. Stewart and D. O. Tall, Algebraic Number Theory, Chapman and Hall, 1979Google ScholarCross Ref
- L. van den Dries, On the elementary theory of restricted elementary functions, J. Symb. Logic 53, 796- 808, 1988.Google ScholarCross Ref
- N.N. Vorobjov, Deciding consistency of systems of polynomial in exponent inequalities in subexponential time, Proceedings of MEGA 90, 1990.Google Scholar
- A.J. Wilkie, Some model completeness results for expansions of the ordered field of real numbers by Pfaffian functions, preprint, Mathematics Institute, Oxford.Google Scholar
Index Terms
The elementary constant problem
Recommendations
Taylor polynomial solution of hyperbolic type partial differential equations with constant coefficients
The purpose of this study is to give a Taylor polynomial approximation for the solution of hyperbolic type partial differential equations with constant coefficients. The technique used is an improved Taylor matrix method, which has been given for ...
Soliton with non-constant velocity
This article develops the dressing method for the investigation of the non-integrable in classical sense nonlinear partial differential equations (PDEs). We construct (1 + 1)-dimensional family of nonlinear PDE which admits specific type of soliton-like ...
Strong Stability Preserving Properties of Runge–Kutta Time Discretization Methods for Linear Constant Coefficient Operators
Strong stability preserving (SSP) high order Runge–Kutta time discretizations were developed for use with semi-discrete method of lines approximations of hyperbolic partial differential equations, and have proven useful in many other applications. These ...
Comments