Verified Solutions of Systems of Nonlinear Polynomial Equations

DOI10.1007/978-1-4757-6484-0_12MaRDI QIDQ4577111zbMATH OpenOpenAlexFDO

Authors Daniela Fausten, Wolfram Luther

Publication date 16 July 2018

Published in Scientific Computing, Validated Numerics, Interval Methods (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-1-4757-6484-0_12

zbMATH Keywords

algebraic systems of interval equationsalgorithms with automatic result verificationfixed-point theorems

Mathematics Subject Classification ID

Numerical computation of solutions to systems of equations (65H10)

Recommendations

• On solvability of systems of polynomial equations
• scientific article; zbMATH DE number 1424515
• scientific article; zbMATH DE number 4133411
• Verifying methods of multiple roots of nonlinear equations
• Publication:4204502
• scientific article; zbMATH DE number 3916753
• Verified numerical computation for nonlinear equations
• Certifying solutions to square systems of polynomial-exponential equations

Cites work

• A Simple Test for Accuracy of Approximate Solutions to Nonlinear (or Linear) Systems
• An improved method for global solution of nonlinear systems
• Computation of the solutions of nonlinear polynomial systems
• Curve and surface design. Saint-Malo conference, Saint-Malo, France, July 1999. Vol. 1
• Enclosure of the zero set of polynomials in several complex variables
• scientific article; zbMATH DE number 5542185 (Why is no real title available?)
• scientific article; zbMATH DE number 3956805 (Why is no real title available?)
• scientific article; zbMATH DE number 1317748 (Why is no real title available?)
• scientific article; zbMATH DE number 3038388 (Why is no real title available?)
• Interval Methods for Systems of Equations
• Sign test of multivariable real polynomials

Cited in

(6)

• Certifying simple zeros of over-determined polynomial systems
• A combined method for enclosing all solutions of nonlinear systems of polynomial equations
• Verified error bounds for real solutions of positive-dimensional polynomial systems
• Subdivision strategies for boxes in branch-and-bound nonlinear solvers and verification
• Certifying solutions to square systems of polynomial-exponential equations
• Solving Linear Systems with Polynomial Parameter Dependency with Application to the Verified Solution of Problems in Structural Mechanics

This page was built for publication: Verified Solutions of Systems of Nonlinear Polynomial Equations

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