Computations with one and two real algebraic numbers

Thumbnail Image

Date

Authors

Journal Title

Journal ISSN

Volume Title

Publisher

Abstract

Description

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).

Keywords

Symbolic Computation, Mathematical Software, I.1.2

Citation

URI

http://salesiana.dossiersoluciones.com/handle/123456789/105738

Consulte el texto completo en el siguiente enlace:

https://arxiv.org/abs/cs/0512072
 http://arxiv.org/abs/cs/0512072

Collections

arXiv