Certifying simple zeros of over-determined polynomial systems

DOI10.1007/978-3-319-66320-3_6MaRDI QIDQ1701471zbMATH OpenOpenAlexFDO

Authors Jin-San Cheng, Xiaojie Dou~

Publication date 23 February 2018

Full work available at URL https://doi.org/10.1007/978-3-319-66320-3_6

zbMATH Keywords

sum of squaresinterval methodsminimum pointsimple real zerosover-determined polynomial system

Mathematics Subject Classification ID

Numerical computation of solutions to systems of equations (65H10) Solving polynomial systems; resultants (13P15)

Recommendations

• Certifying solutions to overdetermined and singular polynomial systems over \(\mathbb{Q}\)
• A heuristic method for certifying isolated zeros of polynomial systems
• Deflation and certified isolation of singular zeros of polynomial systems
• On zeros of bounded degree of systems of homogeneous polynomial equations
• Singular Zeros of Polynomial Systems
• Certification for polynomial systems via square subsystems
• Verified Solutions of Systems of Nonlinear Polynomial Equations
• Individual and simultaneous determination of the zeros of algebraic polynomials
• On some methods for the simultaneous determination of polynomial zeros
• A new deflation method for verifying the isolated singular zeros of polynomial systems

Cited in

(2)

• A heuristic method for certifying isolated zeros of polynomial systems
• Certification for polynomial systems via square subsystems

Describes a project that uses

Uses Software

• alphaCertified
• Macaulay2

This page was built for publication: Certifying simple zeros of over-determined polynomial systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1701471)