A verified method of singular solutions of overdetermined nonlinear systems

DOI10.13413/J.CNKI.JDXBLXB.2014.06.10zbMATH Open1324.65083MaRDI QIDQ5260161FDOQ5260161

Authors: Haifeng Sang, Baocheng Wan 

Publication date: 29 June 2015

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

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)

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)