A verified method of singular solutions of overdetermined nonlinear systems

DOI10.13413/J.CNKI.JDXBLXB.2014.06.10MaRDI QIDQ5260161zbMATH OpenFDO

Authors Haifeng Sang, Baocheng Wan

Publication date 29 June 2015

zbMATH Keywords

algorithminterval arithmeticsingular solutionverified error boundoverdetermined nonlinear system

Mathematics Subject Classification ID

Numerical computation of solutions to systems of equations (65H10) Interval and finite arithmetic (65G30) Algorithms with automatic result verification (65G20)

Recommendations

• Verified error bounds for singular solutions of nonlinear systems
• Verified error bounds for isolated singular solutions of polynomial systems
• Existence Verification for Higher Degree Singular Zeros of Nonlinear Systems
• The Gauss-Newton method for finding singular solutions to systems of nonlinear equations
• Existence verification for singular and nonsmooth zeros of real nonlinear systems

Cited in

(4)

• Verifying methods of multiple roots of nonlinear equations
• Existence Verification for Higher Degree Singular Zeros of Nonlinear Systems
• Verified determination of singularities in chemical processes
• Verified error bounds for singular solutions of nonlinear systems

This page was built for publication: A verified method of singular solutions of overdetermined nonlinear systems

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