Existence verification for singular and nonsmooth zeros of real nonlinear systems
numerical examplesalgorithmfinite differencenonlinear systemsinterval analysistopological degreeexistence verificationnonlinear two point boundary valuep problem
Numerical computation of solutions to systems of equations (65H10) Nonlinear boundary value problems for ordinary differential equations (34B15) General methods in interval analysis (65G40) Numerical solution of boundary value problems involving ordinary differential equations (65L10) Finite difference and finite volume methods for ordinary differential equations (65L12) Algorithms with automatic result verification (65G20)
- Existence Verification for Higher Degree Singular Zeros of Nonlinear Systems
- Existence Verification for Singular Zeros of Complex Nonlinear Systems
- Proving the existence of zeros using the topological degree and interval arithmetic
- On existence and uniqueness verification for non-smooth functions
- Existence Tests for Solutions of Nonlinear Equations Using Borsuk's Theorem
- scientific article; zbMATH DE number 3880009 (Why is no real title available?)
- scientific article; zbMATH DE number 3660721 (Why is no real title available?)
- scientific article; zbMATH DE number 193463 (Why is no real title available?)
- scientific article; zbMATH DE number 3381785 (Why is no real title available?)
- scientific article; zbMATH DE number 3191561 (Why is no real title available?)
- A Fortran 90 environment for research and prototyping of enclosure algorithms for nonlinear equations and global optimization
- An efficient degree-computation method for a generalized method of bisection
- Computing the topological degree of a mapping in \(R^n\)
- Existence Verification for Singular Zeros of Complex Nonlinear Systems
- Interval Methods for Systems of Equations
- Neural networks for control systems - a survey
- Rigorous global search: continuous problems
- Verifying topological indices for higher-order rank deficiencies
- Existence Verification for Higher Degree Singular Zeros of Nonlinear Systems
- Verifying topological indices for higher-order rank deficiencies
- Solving equations and optimization problems with uncertainty
- A verified method of singular solutions of overdetermined nonlinear systems
- On existence and uniqueness verification for non-smooth functions
- Verified error bounds for singular solutions of nonlinear systems
- Effective topological degree computation based on interval arithmetic
- On isolation of simple multiple zeros and clusters of zeros of polynomial systems
- Existence Verification for Singular Zeros of Complex Nonlinear Systems
This page was built for publication: Existence verification for singular and nonsmooth zeros of real nonlinear systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4794641)
