Univariate real root isolation in an extension field

DOI10.1145/1993886.1993934zbMath1323.68628arXiv1101.4369OpenAlexW2151319732MaRDI QIDQ5254189

Elias P. Tsigaridas, Adam Wojciech Strzeboński

Publication date: 9 June 2015

Published in: Proceedings of the 36th international symposium on Symbolic and algebraic computation (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1101.4369

zbMATH Keywords

algebraic polynomialfield extensionSturmreal root isolationDescartes' rule of signseparation bounds

Mathematics Subject Classification ID

Related Items (8)

Nearly optimal refinement of real roots of a univariate polynomial ⋮ Univariate Real Root Isolation over a Single Logarithmic Extension of Real Algebraic Numbers ⋮ On the complexity of the Descartes method when using approximate arithmetic ⋮ Separating linear forms and rational univariate representations of bivariate systems ⋮ Algorithms for weighted sum of squares decomposition of non-negative univariate polynomials ⋮ From approximate factorization to root isolation with application to cylindrical algebraic decomposition ⋮ Univariate real root isolation in an extension field and applications ⋮ Nearly optimal computations with structured matrices

Uses Software

• Mathematica

This page was built for publication: Univariate real root isolation in an extension field