A hybrid procedure for finding real points on a real algebraic set

DOI10.1007/s11424-019-8349-zzbMath1407.65057OpenAlexW2913893936MaRDI QIDQ1730309

Yu Wang, Bican Xia

Publication date: 6 March 2019

Published in: Journal of Systems Science and Complexity (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11424-019-8349-z

zbMATH Keywords

homotopy continuationpolynomial systeminterval arithmeticreal variety

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Numerical computation of solutions to systems of equations (65H10) Real algebraic sets (14P05) Global methods, including homotopy approaches to the numerical solution of nonlinear equations (65H20)

Related Items (2)

VerifyRealRoots: a Matlab package for computing verified real solutions of polynomials systems of equations and inequalities ⋮ Foreword to the special issue

Uses Software

• INTLAB
• LPH

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Khovanskii-Rolle continuation for real solutions
• Properness defects and projections and computation of at least one point in each connected component of a real algebraic set
• Coefficient-parameter polynomial continuation
• The number of roots of a system of equations
• A special homotopy continuation method for a class of polynomial systems
• Numerically computing real points on algebraic sets
• Generalized polar varieties: geometry and algorithms
• Cell decomposition of almost smooth real algebraic surfaces
• Newton-Algorithmen zur Bestimmung von Nullstellen mit Fehlerschranken
• A new decision method for elementary algebra
• Real Root Isolation of Polynomial Equations Based on Hybrid Computation
• Finding points on real solution components and applications to differential polynomial systems
• Validating the Completeness of the Real Solution Set of a System of Polynomial Equations
• Critical Point Computations on Smooth Varieties
• Safe Starting Regions for Iterative Methods
• Sampling Algebraic Varieties for Sum of Squares Programs
• Solving Real Polynomial Systems with Real Homotopies
• Finding at least one point in each connected component of a real algebraic set defined by a single equation
• Early Ending in Homotopy Path-Tracking for Real Roots

This page was built for publication: A hybrid procedure for finding real points on a real algebraic set