Solving parametric piecewise polynomial systems

DOI10.1016/j.cam.2011.05.008zbMath1251.65075OpenAlexW2104612625MaRDI QIDQ651936

Yisheng Lai, Jinming Wu, Ren-Hong Wang

Publication date: 19 December 2011

Published in: Journal of Computational and Applied Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.cam.2011.05.008

zbMATH Keywords

algorithmnumber of real zerosdiscriminant varietypiecewise polynomialcylindrical algebraic decomposition methodparametric piecewise polynomial systemparametric semi-algebraic systems

Mathematics Subject Classification ID

Numerical computation of solutions to systems of equations (65H10) Computational aspects of algebraic surfaces (14Q10) Numerical computation of solutions to single equations (65H05) Solving polynomial systems; resultants (13P15)

Related Items (7)

The Viro method for construction of Bernstein-Bézier algebraic hypersurface piece ⋮ Bounds on the number of solutions of polynomial systems and the Betti numbers of real piecewise algebraic hypersurfaces ⋮ The maximum number and its distribution of singular points for parametric piecewise algebraic curves ⋮ Real root classification of parametric spline functions ⋮ Real intersection points of piecewise algebraic curves ⋮ An upper bound of the Bézout number for piecewise algebraic curves ⋮ The Viro method for construction of \(C^r\) piecewise algebraic hypersurfaces

Uses Software

• QEPCAD
• RAGlib
• DISCOVERER

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Properness defects and projections and computation of at least one point in each connected component of a real algebraic set
• A complete algorithm for automated discovering of a class of inequality-type theorems
• Real zeros of the zero-dimensional parametric piecewise algebraic variety
• Elimination methods
• Partial cylindrical algebraic decomposition for quantifier elimination
• A complete algorithm for counting real solutions of polynomial systems of equations and inequalities.
• Computing triangular systems and regular systems
• An algorithm for isolating the real solutions of semi-algebraic systems
• The Nöther and Riemann-Roch type theorems for piecewise algebraic curve
• Solving parametric polynomial systems
• Automated Deduction in Geometry
• Algorithms in real algebraic geometry
• Simple CAD construction and its applications

This page was built for publication: Solving parametric piecewise polynomial systems