Computations with one and two real algebraic numbers
符号计算
2007-05-23 v1 数学软件
摘要
We present algorithmic and complexity results concerning computations with one and two real algebraic numbers, as well as real solving of univariate polynomials and bivariate polynomial systems with integer coefficients using Sturm-Habicht sequences. Our main results, in the univariate case, concern the problems of real root isolation (Th. 19) and simultaneous inequalities (Cor.26) and in the bivariate, the problems of system real solving (Th.42), sign evaluation (Th. 37) and simultaneous inequalities (Cor. 43).
引用
@article{arxiv.cs/0512072,
title = {Computations with one and two real algebraic numbers},
author = {Ioannis Z. Emiris and Elias P. Tsigaridas},
journal= {arXiv preprint arXiv:cs/0512072},
year = {2007}
}