A Test for Existence of Solutions to Nonlinear Systems
From MaRDI portal
Publication:4140294
DOI10.1137/0714040zbMath0365.65034OpenAlexW2070381457MaRDI QIDQ4140294
No author found.
Publication date: 1977
Published in: SIAM Journal on Numerical Analysis (Search for Journal in Brave)
Full work available at URL: https://semanticscholar.org/paper/c8d8c6aaf1cb9c5a416538e9fb8bda1e0cbaf74c
Related Items (84)
Existence of solutions of piecewise differentiable systems of equations ⋮ A new exclusion test. ⋮ Parameterization of unstable manifolds for DDEs: formal series solutions and validated error bounds ⋮ Safe starting regions by fixed points and tightening ⋮ A second-order pruning step for verified global optimization ⋮ A heuristic method for certifying isolated zeros of polynomial systems ⋮ Computing slope enclosures by exploiting a unique point of inflection ⋮ Verified Error Bounds for All Eigenvalues and Eigenvectors of a Matrix ⋮ Application of the Krawczyk-Moore-Jones algorithm to electric circuit analysis and its further development ⋮ Fast verified solutions of linear systems ⋮ Numerical existence proof of five solutions for certain two-transistor circuit equations ⋮ Computer algebra for guaranteed accuracy. How does it help? ⋮ The Krawczyk operator and Kantorovich's theorem ⋮ A parallel interval method implementation for global optimization using dynamic load balancing ⋮ Experiences with a method for enclosing solutions of systems of equations ⋮ Certified numerical real root isolation for bivariate nonlinear systems ⋮ Validated numerics for equilibria of analytic vector fields: Invariant manifolds and connecting orbits ⋮ On computer-assisted proofs for solutions of linear complementarity problems ⋮ Existence test for solution of nonlinear systems applying affine arithmetic ⋮ Proving the existence of zeros using the topological degree and interval arithmetic ⋮ Certifying solutions to overdetermined and singular polynomial systems over \(\mathbb{Q}\) ⋮ Validation and enclosure of solutions of linear complementarity problems ⋮ A class of componentwise Krawczyk-Moore type iteration methods ⋮ Generalized iteration methods for bounds of the solution of fixed point operator-equations ⋮ Improved iteration schemes for validation algorithms for dense and sparse nonlinear systems ⋮ A method for global minimization of functions using the Krawczyk operator ⋮ A rigorous implicit \(C^1\) Chebyshev integrator for delay equations ⋮ Verified error bounds for isolated singular solutions of polynomial systems: case of breadth one ⋮ A Theory of Interval Iteration ⋮ Interval solution of nonlinear equations using linear programming ⋮ Nonsmooth exclusion test for finding all solutions of nonlinear equations ⋮ Order-convergence and iterative interval methods ⋮ VerifyRealRoots: a Matlab package for computing verified real solutions of polynomials systems of equations and inequalities ⋮ A functional analytic approach to validated numerics for eigenvalues of delay equations ⋮ An algorithm for isolating the real solutions of piecewise algebraic curves ⋮ Computing Galois groups of Fano problems ⋮ Global optimization using interval analysis - the multi-dimensional case ⋮ Fast computation of error bounds for all eigenpairs of a Hermitian and all singular pairs of a rectangular matrix with emphasis on eigen- and singular value clusters ⋮ Interval extensions and interval iterations ⋮ Interval boxes of solutions of nonlinear systems ⋮ IGAOR and multisplitting IGAOR methods for linear complementarity problems ⋮ A method to find all the roots of the system of nonlinear algebraic equations based on the Krawczyk operator ⋮ E-methods for fixed point equations f(x)=x ⋮ A proof of Jones' conjecture ⋮ Inverting an interval Hessian of a factorable function ⋮ Solving nonlinear systems with least significant bit accuracy ⋮ Solution of finite systems of equations by interval iteration ⋮ Verified error bounds for solutions of Sylvester matrix equations ⋮ A heuristic verification of the degree of the approximate GCD of two univariate polynomials ⋮ Interval algorithm for absolute value equations ⋮ Estimation of the sensitivity of linear and nonlinear algebraic problems ⋮ What can interval analysis do for global optimization? ⋮ A modification of krawczyk's algorithm ⋮ Verified error bounds for eigenvalues of geometric multiplicity \(q\) and corresponding invariant subspaces ⋮ A verified inexact implicit Runge-Kutta method for nonsmooth ODEs ⋮ On the proofs of some statements concerning the theorems of Kantorovich, Moore, and Miranda ⋮ A parser for the interval evaluation of analytical functions and its application to engineering problems ⋮ Finding all solutions of a class of nonlinear equations using an improved LP test ⋮ A Finite Algorithm for Almost Linear Complementarity Problems ⋮ A note on the comparison of the Kantorovich and Moore theorems ⋮ Mathematically rigorous global optimization in floating-point arithmetic ⋮ Rigorous Sensitivity Analysis for Systems of Linear and Nonlinear Equations ⋮ A dynamical interval Newton method ⋮ Verified error bounds for multiple roots of systems of nonlinear equations ⋮ Interval forms of Newtons method ⋮ Interval iterative algorithm for computing the piecewise algebraic variety ⋮ A framework for existence tests based on the topological degree and homotopy ⋮ Nonlinear equations and optimization ⋮ Interval analytic treatment of convex programming problems ⋮ A numerical proof algorithm for the non-existence of solutions to elliptic boundary value problems ⋮ Verified error bounds for singular solutions of nonlinear systems ⋮ Spatial relative equilibria and periodic solutions of the Coulomb \((n+1)\)-body problem ⋮ Interval expansion method for nonlinear equation in several variables ⋮ Centered forms and interval operators ⋮ An improved verification algorithm for nonlinear systems of equations based on Krawczyk operator ⋮ On the comparison of a Kantorovich-type and Moore theorems ⋮ Method for localizing the zeros of analytic functions based on the Krawczyk operator ⋮ Central configurations of the five-body problem with equal masses ⋮ Solving Linear Systems with Polynomial Parameter Dependency with Application to the Verified Solution of Problems in Structural Mechanics ⋮ An interval version of Chebyshev's method for nonlinear operator equations ⋮ Nonlinear optimization exclusion tests for finding all solutions of nonlinear equations ⋮ Interval iterations for including a set of solutions ⋮ On some classical existence theorems ⋮ A GENERALIZED THEOREM OF MIRANDA AND THE THEOREM OF NEWTON–KANTOROVICH
This page was built for publication: A Test for Existence of Solutions to Nonlinear Systems
