论文信息 - Asymptotic expansions of functional inverses

Asymptotic expansions of functional inverses

We study the automatic computation of asymptotic expansions of functional inverses. Based on previous work on asymptotic expansions, we give an algorithm which computes Hardy-field solutions of equations f(y) = x, with f belonging to a large class of functions.

Bruno Salvy | John Shackell

[1] John Shackell,et al. Growth Estimates for Exp-Log Functions , 1990, J. Symb. Comput..

[2] Daniel Richardson,et al. Some undecidable problems involving elementary functions of a real variable , 1969, Journal of Symbolic Logic.

[3] P. Zimmermann,et al. Automatic Average-Case Analysis of Algorithm , 1991, Theor. Comput. Sci..

[4] Keith O. Geddes,et al. A New Algorithm for Computing Symbolic Limits Using Hierarchical Series , 1988, ISSAC.

[5] N. D. Bruijn. Asymptotic methods in analysis , 1958 .

[6] M. Rosenlicht,et al. Growth properties of functions in Hardy fields , 1987 .

[7] M. Rosenlicht,et al. The rank of a Hardy field , 1983 .

[8] Philippe Flajolet,et al. Automatic Average-Case Analysis of Algorithm , 1991, Theor. Comput. Sci..

[9] Joel Moses,et al. Algebraic simplification: a guide for the perplexed , 1971, CACM.

[10] G. Hardy. Properties of Logarithmico‐Exponential Functions , 2022 .

[11] Daniel Richardson,et al. Towards computing non algebraic cylindrical decompositions , 1991, ISSAC '91.

[12] M. Rosenlicht. Rank change on adjoining real powers to Hardy fields , 1984 .