On the sign of a real algebraic number

Authors:
Siegfried Rump
Affiliations:
-
Venue:
SYMSAC '76 Proceedings of the third ACM symposium on Symbolic and algebraic computation
Year:
1976

Citing 4
Cited 5

Integer Arithmetic Algorithms for Polynomial Real Zero Determination

Journal of the ACM (JACM)
Hauptvortrag: Quantifier elimination for real closed fields by cylindrical algebraic decomposition

Proceedings of the 2nd GI Conference on Automata Theory and Formal Languages
Polynomial real root isolation by differentiation

SYMSAC '76 Proceedings of the third ACM symposium on Symbolic and algebraic computation
Polynomial real root isolation using Descarte's rule of signs

SYMSAC '76 Proceedings of the third ACM symposium on Symbolic and algebraic computation

A polynomial-time algorithm for the topological type of a real algebraic curve

Journal of Symbolic Computation
Real algebraic number computation using interval arithmetic

ISSAC '92 Papers from the international symposium on Symbolic and algebraic computation
Real algebraic closure of an ordered field: implementation in Axiom

ISSAC '92 Papers from the international symposium on Symbolic and algebraic computation
Real root isolation for algebraic polynomials

ACM SIGSAM Bulletin
Univariate real root isolation in an extension field

Proceedings of the 36th international symposium on Symbolic and algebraic computation

Quantified Score

Hi-index	0.00

Visualization

Abstract

In an ordered algebraic extension field of the rationales algorithms for sign determinations are studied. Two new algorithms are analyzed in detail and shown to be asymptotically and in practice faster than previous algorithms.