Meta-expansion of transseries

DOI10.1016/J.JSC.2010.08.019zbMATH Open1215.33011OpenAlexW2149920839MaRDI QIDQ629344FDOQ629344

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

Recommendations

• scientific article; zbMATH DE number 1254307
• scientific article; zbMATH DE number 431974
• scientific article; zbMATH DE number 1263326
• Measured limits and multiseries
• scientific article; zbMATH DE number 1263353

zbMATH Keywords

asymptotic expansionalgorithmtransserieszero-test

Mathematics Subject Classification ID

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

Cites Work

• Numerical recipes. The art of scientific computing.
• Relax, but don't be too lazy
• Title not available (Why is that?)
• Introduction to analyzable functions and constructive proof of the Dulac conjecture
• Logarithmic-exponential series
• Operators on generalized power series
• Transseries and real differential algebra
• Notes on exponential-logarithmic terms
• Logarithmic-Exponential Power Series
• Ordering by Divisibility in Abstract Algebras
• How to recognize zero?
• On effective analytic continuation
• Complexity bounds for zero-test algorithms
• On asymptotic extrapolation
• Generic asymptotic expansions
• Counterexamples to witness conjectures
• Zero tests for constants in simple scientific computation
• Title not available (Why is that?)
• Title not available (Why is that?)
• Inverses of Hardy L-Functions
• Title not available (Why is that?)
• Growth estimates for exp-log functions

Cited In (3)

• Quantifier elimination for valued fields equipped with an automorphism
• On asymptotic extrapolation
• Title not available (Why is that?)

Uses Software

• Mathemagix

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q629344)