Computer Science – Symbolic Computation
Scientific paper
2005-12-18
Computer Science
Symbolic Computation
Scientific paper
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).
Emiris Ioannis Z.
Tsigaridas Elias P.
No associations
LandOfFree
Computations with one and two real algebraic numbers does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Computations with one and two real algebraic numbers, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Computations with one and two real algebraic numbers will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-133450