## Abstract In this paper we prove, modulo Schanuel's Conjecture, that there are algorithms which decide if two exponential polynomials in π are equal in ℝ and if two exponential polynomials in π and __i__ coincide in ℂ. (© 2007 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)
On the “Problem of the Last Root” for Exponential Terms
✍ Scribed by Helmut Wolter
- Publisher
- John Wiley and Sons
- Year
- 1985
- Tongue
- English
- Weight
- 376 KB
- Volume
- 31
- Category
- Article
- ISSN
- 0044-3050
No coin nor oath required. For personal study only.
✦ Synopsis
For our investigations of the last root, problem for exponential terms in T-models we need some results and definitions from [l], which we shortly summarize here.
Let C* be a fixed model of T, Gf a substructure of C* and C k OEF. Further, let C', be the set of functions in C* defined by means of terms from 2 with one variable and parameters from C. W'ith the aid of WILKIE'S results one can prove that for each E C' , there are element's a. 5 b in C' * such that f is defined for all x 2 a and f is constant or strongly monotonc for .2: 2 b. Especially, if f + 0. then /(.?:) is positive resp. ncgtttivc from onn point on. If f , g E C' , , then by fg iff f ( n ) = g(.r) for some a E C* and all .r 2 a , 11*
📜 SIMILAR VOLUMES
## Abstract We analyze the __h__–__p__ version of the boundary element method for the mixed Dirichlet–Neumann problems of the Laplacian in polyhedral domains. Based on a regularity analysis of the solution in countably normed spaces, we show that the boundary element Galerkin solution of the __h__–
In the partition problem we seek to partition a list of numbers into two sublists to minimize the difference between the sums of the two sublists. For this and the related subset sum problem, under suitable assumptions on the probability distributions of the input, it is known that the median of the