Growth estimates for exp-log functions
type: Item
instance of: scholarly article
title: Growth estimates for exp-log functions
zbMATH Open document ID: 0727.26002
DOI: 10.1016/S0747-7171(08)80161-7
published in: Journal of Symbolic Computation
publication date: 1990-01-01T00:00:00Z
review text: exp-log functions are functions build from the constant 1, the arithmetic operations \(+,-,\times,\div\) and the functions exp() and log\(| |\). These functions are linearly ordered by the ordering \(f>g\) if \(f(x)>g(x)\) for all x large enough. This paper gives an algorithm to reduce the decision whether \(f>g\) to the decision whether \(f=0\) for constant functions f.
Mathematics Subject Classification ID: 26A12
Mathematics Subject Classification ID: 26-04
Mathematics Subject Classification ID: 26A09
Mathematics Subject Classification ID: 68W30
zbMATH DE Number: 4200509
zbMATH Keywords: rate of growth
zbMATH Keywords: exp-log functions
zbMATH Keywords: algorithm
author: John R. Shackell
MaRDI profile type: Publication
cites work: A note on algebraic independence of logarithmic and exponential constants
cites work: The limit behaviour of exponential terms
cites work: Fine Structure of the Integral Exponential Functions Below 2 2 x
cites work: Notes on exponential-logarithmic terms
cites work: Polynomial functions with exponentiation are well ordered
cites work: On algebraic simplification
cites work: Transcendental Numbers and Eventual Dominance of Exponential Functions
cites work: Transcendental numbers and diophantine approximations
cites work: Q3968997
cites work: Determining the Equivalence of Algebraic Expressions by Hash Coding
cites work: Some undecidable problems involving elementary functions of a real variable
cites work: Solution of the identity problem for integral exponential functions
cites work: The Rank of a Hardy Field
cites work: Rank change on adjoining real powers to Hardy fields
cites work: Growth Properties of Functions in Hardy Fields
cites work: On Skolem's Exponential Functions Below 2 2 x
cites work: A Completeness Theorem for Trigonometric Identities and Various Results on Exponential Functions
Recommended article: Growth of log-analytic functions
Recommended article: Q4227357
Recommended article: Asymptotic expansions of logarithmic-exponential functions
Recommended article: Q3721124
Recommended article: On the growth of the logarithmic derivative
Recommended article: An Estimate of the Convergence Rate in the Functional Law of the Iterated Logarithm
Recommended article: Q4283724
Recommended article: Growth of logarithmic derivative of meromorphic functions
Recommended article: Q4011764
Recommended article: Growth of frequently or log-frequently hypercyclic functions
description: scientific article; zbMATH DE number 4200509