On the computation of limsups

Journal of Pure and Applied Algebra

Volumn 117-118, Issue , 1997, Pages 381-394

  Van Der Hoeven, Joris ^a  

^a ÉCOLE POLYTECHNIQUE   (France)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 17144432945     PISSN: 00224049     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0022-4049(97)00019-4     Document Type: Article

References (17)

1. G.E. Collins, Quantifier elimination for real closed fields by cylindrical algebraic decomposition, in: Proc. 2nd Conf. on Automata Theory and Formal Languages, Lecture Notes in Computer Science, Vol. 33 (Springer, Berlin, 1975) 134-183.
2. J. Ecalle, Introduction aux fonctions analysables et preuve constructive de la conjecture de Dulac, Actualités mathématiques (Hermann, Paris, 1992).
3. G.H. Gonnet and D. Gruntz, Limit computation in computer algebra, Technical Report 187, ETH, Zürich, 1992.
4. D. Grigoriev, Deviation theorems for solutions to differential equations and applications to lower bounds on parallel complexity of sigmoids, Theoret. Comput. Sci. 133 (1) (1994) 23-33.
5. D. Grigoriev, Deviation theorems for solutions of linear ordinary differential equations and applications to parallel complexity of sigmoids, St. Petersburg Math. J. 6 (1) (1995) 89-106.
6. G.H. Hardy, Properties of logarithmico-exponential functions, Proc. London Math. Soc. 10 (2) (1911) 54-90.
7. G.H. Hardy and E.M. Wright, An Introduction to the Theory of Numbers (Ch. XXIII) (Oxford Science Publ., Oxford, 1938).
8. J.F. Koksma, Diophantische Approximationen, Ergeb. der Math. IV (4) (1934).
9. L. Kuipers and H. Niederreiter, Uniform Distribution Sequences (Wiley, New York, 1974).
10. S. Lang, Transcendental numbers and Diophantine approximation, Bull. Amer. Math. Soc. 77 (5) (1971) 635-677.
11. D. Richardson, How to recognize zero, preprint, University of Bath, England, 1994.
12. D. Richardson, B. Salvy, J. Shackell and J. van der Hoeven, Asymptotic expansions of exp-log functions, in: Proc. ISSAC'96, E.T.H. Zürich, Switzerland, 24-26 July 1996.
13. B. Salvy, Asymptotique automatique et fonctions génératrices, Ph.D. Thesis. Ecole Polytechnique, France, 1991.
14. J. Shackell, Growth estimates for exp-log functions, J. Symbolic Comput. 10 (1990) 611-632.
15. J. Shackell, Limits of Liouvillian functions, Technical Report, Univ. of Kent, Canterbury, 1991.
16. J. van der Hoeven, Generic asymptotic expansions, in: A. Carrière and I.R. Oudin, eds., Local Proc. of the Rhine Workshop on Computer Algebra, Saint-Louis, France, 1-3 April 1996, 17.1-17.17; submitted to AAECC.
17. J. van der Hoeven, Automatic asymptotics, Ph.D. Thesis, École Polytechnique, France, in preparation.