Meta-expansion of transseries

DOI10.1016/j.jsc.2010.08.019zbMath1215.33011OpenAlexW2149920839MaRDI QIDQ629344

Joris van der Hoeven

Publication date: 9 March 2011

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jsc.2010.08.019

zbMATH Keywords

algorithmasymptotic expansiontransserieszero-test

Mathematics Subject Classification ID

Symbolic computation of special functions (Gosper and Zeilberger algorithms, etc.) (33F10)

Related Items (2)

Quantifier elimination for valued fields equipped with an automorphism ⋮ On asymptotic extrapolation

Uses Software

• Mathemagix

Cites Work

• Growth estimates for exp-log functions
• On asymptotic extrapolation
• Operators on generalized power series
• How to recognize zero?
• Generic asymptotic expansions
• Relax, but don't be too lazy
• Transseries and real differential algebra
• Counterexamples to witness conjectures
• Complexity bounds for zero-test algorithms
• Zero tests for constants in simple scientific computation
• On effective analytic continuation
• Notes on exponential-logarithmic terms
• Inverses of Hardy L-Functions
• Logarithmic-Exponential Power Series
• Ordering by Divisibility in Abstract Algebras
• Logarithmic-exponential series
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Meta-expansion of transseries