Verified Solutions of Systems of Nonlinear Polynomial Equations

DOI10.1007/978-1-4757-6484-0_12zbMath1391.65145OpenAlexW5623129MaRDI QIDQ4577111

Daniela Fausten, Wolfram J. 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

algorithms with automatic result verificationfixed-point theoremsalgebraic systems of interval equations

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Computation of the solutions of nonlinear polynomial systems
• An improved method for global solution of nonlinear systems
• Sign test of multivariable real polynomials
• A Simple Test for Accuracy of Approximate Solutions to Nonlinear (or Linear) Systems
• Interval Methods for Systems of Equations
• Enclosure of the zero set of polynomials in several complex variables

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