Univariate real root isolation in an extension field
From MaRDI portal
Publication:5254189
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
Analysis of algorithms and problem complexity (68Q25) Symbolic computation and algebraic computation (68W30) Algebraic field extensions (12F05)
Related Items
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