Verified error bounds for singular solutions of nonlinear systems

DOI10.1007/S11075-014-9948-3zbMATH Open1328.65121OpenAlexW2000866927MaRDI QIDQ747729FDOQ747729

Haifeng Sang, Zhe Li

Publication date: 19 October 2015

Published in: Numerical Algorithms (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11075-014-9948-3

Recommendations

• Verified error bounds for isolated singular solutions of polynomial systems
• Existence verification for singular and nonsmooth zeros of real nonlinear systems
• Verified error bounds for isolated singular solutions of polynomial systems: case of breadth one
• A verified method of singular solutions of overdetermined nonlinear systems
• Verified error bounds for multiple roots of systems of nonlinear equations

zbMATH Keywords

verificationerror boundsalgorithmnonlinear systemnumerical experimentsingular solutionsborder systemsdeflations

Mathematics Subject Classification ID

Numerical computation of solutions to systems of equations (65H10) Multiplicative structure; Euclidean algorithm; greatest common divisors (11A05) Polynomials, factorization in commutative rings (13P05)

Cites Work

• HOM4PS-2.0: a software package for solving polynomial systems by the polyhedral homotopy continuation method
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Evaluating Derivatives
• Title not available (Why is that?)
• Newton's method with deflation for isolated singularities of polynomial systems
• Verification methods: rigorous results using floating-point arithmetic
• Title not available (Why is that?)
• Computing the multiplicity structure in solving polynomial systems
• Title not available (Why is that?)
• Deflation algorithm for the multiple roots of a system of nonlinear equations
• A faster way to count the solutions of inhomogeneous systems of algebraic equations, with applications to cyclic \(n\)-roots
• Photonic band structure calculations using nonlinear eigenvalue techniques
• Local Convergence of Inexact Newton Methods
• The fundamental theorem of algebra and complexity theory
• The Numerical Solution of Systems of Polynomials Arising in Engineering and Science
• Existence of Solutions to Systems of Underdetermined Equations and Spherical Designs
• Modified deflation algorithm for the solution of singular problems. I. A system of nonlinear algebraic equations
• Computational existence proofs for spherical \(t\)-designs
• Historical developments in convergence analysis for Newton's and Newton-like methods
• On location and approximation of clusters of zeros of analytic functions
• Newton-Algorithmen zur Bestimmung von Nullstellen mit Fehlerschranken
• Numerical Methods for Bifurcations of Dynamical Equilibria
• Title not available (Why is that?)
• Historical Development of the Newton–Raphson Method
• Multiple zeros of nonlinear systems
• Title not available (Why is that?)
• Deflation and certified isolation of singular zeros of polynomial systems
• On location and approximation of clusters of zeros: Case of embedding dimension one
• Analysis of Newton’s Method at Irregular Singularities
• Convergence of the Newton process to multiple solutions
• Computing isolated singular solutions of polynomial systems: case of breadth one
• Title not available (Why is that?)
• On Solving Nonlinear Equations with Simple Singularities or Nearly Singular Solutions
• Verified error bounds for isolated singular solutions of polynomial systems: case of breadth one
• Newton’s Method at Singular Points. I
• Newton’s Method for Singular Problems when the Dimension of the Null Space is $>1$
• Newton’s Method at Singular Points. II
• Convergence Acceleration for Newton’s Method at Singular Points
• Computing the multiplicity structure of an isolated singular solution: case of breadth one
• A Test for Existence of Solutions to Nonlinear Systems
• On Newton’s Method for Singular Problems
• Newton's method for singular nonlinear equations using approximate left and right nullspaces of the Jacobian
• Verified error bounds for multiple roots of systems of nonlinear equations
• On the geometry of polar varieties
• Characterization and Computation of Generalized Turning Points
• Numerical calculation of the multiplicity of a solution to algebraic equations
• The approximation of generalized turning points by projection methods with superconvergence to the critical parameter
• Characterization and Computation of Singular Points with Maximum Rank Deficiency
• The Approximate Solution of Defining Equations for Generalized Turning Points
• Starlike domains of convergence for Newton's method at singularities
• A numerical method for branch points of a system of nonlinear algebraic equations
• Verified error bounds for isolated singular solutions of polynomial systems
• Verified error bounds for real solutions of positive-dimensional polynomial systems
• Computing real solutions of polynomial systems via low-rank moment matrix completion

Cited In (7)

• Verified error bounds for eigenvalues of geometric multiplicity \(q\) and corresponding invariant subspaces
• Existence Verification for Higher Degree Singular Zeros of Nonlinear Systems
• Verifying topological indices for higher-order rank deficiencies
• Model verification in dynamics through strict upper error bounds
• Verification of a low-degree polynomial vanishing at empirical points
• A certified iterative method for isolated singular roots
• An improved verification algorithm for nonlinear systems of equations based on Krawczyk operator

Uses Software

• HOM4PS
• INTLAB

This page was built for publication: Verified error bounds for singular solutions of nonlinear systems

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