Title
Real root isolation of multi-exponential polynomials with application
Abstract
Real root isolation problem is to compute a list of disjoint intervals, each containing a distinct real root and together containing all. Traditional methods and tools often attack the root isolation for ordinary polynomials. However many other complex systems in engineering are modeling with non-ordinary polynomials. In this paper, we extend the pseudo-derivative sequences and Budan–Fourier theorem for multi-exponential polynomials to estimate the bounds and counts of all real roots. Furthermore we present an efficient algorithm for isolating all real roots under given minimum root separation. As a proof of serviceability, the reachability of linear systems with real eigenvalues only is approximately computable by this algorithm.
Year
DOI
Venue
2010
10.1007/978-3-642-11440-3_24
WALCOM
Keywords
Field
DocType
fourier theorem,real eigenvalues,distinct real root,complex system,root isolation,minimum root separation,real root isolation problem,multi-exponential polynomial,real root,efficient algorithm,disjoint interval,eigenvalues,linear system
Complex system,Discrete mathematics,Combinatorics,Disjoint sets,Linear system,Polynomial,Exponential polynomial,Reachability,Eigenvalues and eigenvectors,Difference polynomials,Mathematics
Conference
Volume
ISSN
ISBN
5942
0302-9743
3-642-11439-3
Citations 
PageRank 
References 
1
0.35
6
Authors
4
Name
Order
Citations
PageRank
Ming Xu1152.65
Liangyu Chen2163.79
Zhenbing Zeng315020.48
Zhibin Li411523.77