## Real Algebraic Numbers: Complexity Analysis and Experimentation (2006)

Venue: | RELIABLE IMPLEMENTATIONS OF REAL NUMBER ALGORITHMS: THEORY AND PRACTICE, LNCS (TO APPEAR |

Citations: | 28 - 16 self |

### BibTeX

@INPROCEEDINGS{Emiris06realalgebraic,

author = {Ioannis Z. Emiris and Bernard Mourrain and Elias P. Tsigaridas},

title = { Real Algebraic Numbers: Complexity Analysis and Experimentation},

booktitle = {RELIABLE IMPLEMENTATIONS OF REAL NUMBER ALGORITHMS: THEORY AND PRACTICE, LNCS (TO APPEAR},

year = {2006},

pages = {5897},

publisher = {Springer Verlag}

}

### Years of Citing Articles

### OpenURL

### Abstract

We present algorithmic, complexity and implementation results concerning real root isolation of a polynomial of degree d, with integer coefficients of bit size ≤ τ, using Sturm (-Habicht) sequences and the Bernstein subdivision solver. In particular, we unify and simplify the analysis of both methods and we give an asymptotic complexity bound of eOB(d 4 τ 2). This matches the best known bounds for binary subdivision solvers. Moreover, we generalize this to cover the non square-free polynomials and show that within the same complexity we can also compute the multiplicities of the roots. We also consider algorithms for sign evaluation, comparison of real algebraic numbers and simultaneous inequalities, and we improve the known bounds at least by a factor of d. Finally, we present our C++ implementation in synaps and some preliminary experiments on various data sets.