Joris van der Hoeven  Home/Search
Context
Related
| math.upsud.fr/~vdhoeven/...AAECC.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: math.upsud.fr/~vdhoeven/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We give an expansion algorithm for germs of exp-log functions at infinity which is correct modulo Schanuel's conjecture. We also show how the algorithm can be made generic. More precisely, we reduce the expansion algorithm for exp-log functions depending on parameters to the problem of deciding whether a given system of exp-log equations and inequalities in several variables admits a solution. (Update)
Similar documents (at the sentence level):
11.0%: On the Computation of Limsups - van der Hoeven (1996) (Correct)
Active bibliography (related documents): More All
1.1: Asymptotic Expansions of exp-log Functions - Richardson, Salvy, Shackell.. (1996) (Correct)
0.8: Relax, But Don't Be Too Lazy - van der Hoeven (1999) (Correct)
0.7: Automatic Numerical Expansions - van der Hoeven (1994) (Correct)
Similar documents based on text: More All
0.7: General algorithms in asymptotics I - Gonnet and Gruntz'.. - van der Hoeven (1994) (Correct)
0.6: General algorithms in asymptotics II - Common Operations - van der Hoeven (1994) (Correct)
0.4: Exponential and Logarithm Functions, A Direct Approach - Day (1999) (Correct)
BibTeX entry: (Update)
@article{ vanderhoeven98generic,
author = "Joris van der Hoeven",
title = "Generic Asymptotic Expansions",
journal = "Applicable Algebra in Engineering, Communication and Computing",
volume = "9",
number = "1",
pages = "25-44",
year = "1998",
url = "citeseer.ist.psu.edu/vanderhoeven97generic.html" }
Citations (may not include all citations):216 volume 2: Seminumerical algorithms (context) - Knuth, of - 1981
133 Quantifier elimination for real closed fields by cylindrical.. (context) - Collins - 1975
42 Fast algorithms for manipulating formal power series (context) - Brent, Kung - 1978
20 Properties of logarithmico-exponential functions (context) - Hardy - 1911
19 Theorie der endlichen und unendlichen Graphen (context) - Konig - 1950
18 Asymptotique automatique et fonctions g'en'eratrices (context) - Salvy - 1991
17 Introduction aux fonctions analysables et preuve constructiv.. (context) - 'Ecalle - 1992
11 Automatic asymptotics (context) - van der Hoeven - 1997
11 Growth estimates for exp-log functions (context) - Shackell - 1990
10 The elementary constant problem (context) - Richardson - 1992
9 Limit computation in computer algebra (context) - Gonnet, Gruntz - 1992
9 Notes on exponential-logarithmic terms (context) - Dahn, Goring - 1986
9 Algebraic properties of elementary functions in analysis (context) - Risch - 1975
8 Limits of Liouvillian functions (context) - Shackell - 1996
8 Orders of infinity (context) - Hardy - 1910
7 A new algorithm for computing symbolic limits using hierarch.. (context) - Geddes, Gonnet - 1988
6 A differential-equations approach to functional equivalence (context) - Shackell - 1989
6 Lazy multiplication of formal power series - van der Hoeven - 1997
3 algorithms for composition and reversion of power series (context) - Brent, Kung et al. - 1975
2 Expansions of exp-log functions (context) - Richardson, Salvy et al. - 1996
2 Automatic numerical expansions - van der Hoeven - 1995
2 Decision problems for differential equations (context) - Denef, Lipshitz - 1989
1 Quelques applications de l (context) - Gomez-Diaz - 1994
1 A simplified method for recognizing zero among elementary co.. (context) - Richardson - 1995
1 Tests effectifs de nullit'e dans des extensions d'anneaux di.. (context) - P'eladan-Germa - 1997
1 A new method for computing in algebraic number fields (context) - Dora, Dicrescenzo et al. - 1985
1 General algorithms in asymptotics I: Gonnet and Gruntz' algo.. - van der Hoeven - 1994
1 A local buchberger algorithm (context) - P'eladan-Germa, van der Hoeven - 1996
1 Testing identities of series defined by algebraic partial di.. (context) - P'eladan-Germa - 1995
1 Outils effectifs en asymptotique et applications (context) - van der Hoeven - 1994
Documents on the same site (http://www.math.u-psud.fr/~vdhoeven/): More
General algorithms in asymptotics II - Common Operations - van der Hoeven (1994) (Correct)
Automatic Numerical Expansions - van der Hoeven (1994) (Correct)
Asymptotic Expansions of exp-log Functions - Richardson, Salvy, Shackell.. (1996) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC