Real algebraic numbers and polynomial systems of small degree

DOI10.1016/j.tcs.2008.09.009zbMath1162.68825OpenAlexW2097217811WikidataQ57908745 ScholiaQ57908745MaRDI QIDQ2378492

Ioannis Z. Emiris, Elias P. Tsigaridas

Publication date: 8 January 2009

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2008.09.009

zbMATH Keywords

Sturm sequencequarticbivariate polynomialalgebraic number

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30)

Related Items

Topological classification of the intersection curves of two quadrics using a set of discriminants, Parallel computation of real solving bivariate polynomial systems by zero-matching method, An algebraic approach to continuous collision detection for ellipsoids, Classification of the relative positions between a small ellipsoid and an elliptic paraboloid, Solving the interference problem for ellipses and ellipsoids: new formulae, Contact detection between a small ellipsoid and another quadric

Uses Software

• SYNAPS
• ISOLATE
• Kinetic Framework
• ESOLID

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On the complexity of isolating real roots and computing with certainty the topological degree
• Bounds for positive roots of polynomials
• Quantifier elimination: Optimal solution for two classical examples
• Bounds for absolute positiveness of multivariate polynomials
• Solving zero-dimensional systems through the rational univariate representation
• Efficient isolation of polynomial's real roots.
• Recent advances on determining the number of real roots of parametric polynomials
• Efficient topology determination of implicitly defined algebraic plane curves.
• A package for exact kinetic data structures and sweepline algorithms
• Testing sign conditions on a multivariate polynomial and applications
• On the complexity of real root isolation using continued fractions
• The predicates of the Apollonius diagram: algorithmic analysis and implementation
• Reduction of Binary Cubic and Quartic Forms
• Solving a Polynomial Equation: Some History and Recent Progress
• Polynomial Equations and Circulant Matrices
• Programming as a Discipline of Mathematical Nature
• Real Algebraic Numbers: Complexity Analysis and Experimentation
• Near-optimal parameterization of the intersection of quadrics
• Complete, exact, and efficient computations with cubic curves
• Towards and open curved kernel
• Algorithms – ESA 2004
• Computer Algebra in Scientific Computing
• Algorithms in real algebraic geometry
• Sylvester-Habicht sequences and fast Cauchy index computation