A Test for Existence of Solutions to Nonlinear Systems
From MaRDI portal
Cited in
(90)- Interval iterative algorithm for computing the piecewise algebraic variety
- A framework for existence tests based on the topological degree and homotopy
- Interval expansion method for nonlinear equation in several variables
- On the comparison of a Kantorovich-type and Moore theorems
- Central configurations of the five-body problem with equal masses
- Interval iterations for including a set of solutions
- Existence of solutions of piecewise differentiable systems of equations
- A class of componentwise Krawczyk-Moore type iteration methods
- Order-convergence and iterative interval methods
- Global optimization using interval analysis - the multi-dimensional case
- Interval extensions and interval iterations
- Interval boxes of solutions of nonlinear systems
- E-methods for fixed point equations f(x)=x
- 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
- Estimation of the sensitivity of linear and nonlinear algebraic problems
- What can interval analysis do for global optimization?
- Interval forms of Newtons method
- Interval analytic treatment of convex programming problems
- Safe starting regions by fixed points and tightening
- Interval solution of nonlinear equations using linear programming
- A heuristic method for certifying isolated zeros of polynomial systems
- A proof of Jones' conjecture
- Nonlinear equations and optimization
- A new exclusion test.
- A parallel interval method implementation for global optimization using dynamic load balancing
- Experiences with a method for enclosing solutions of systems of equations
- Improved iteration schemes for validation algorithms for dense and sparse nonlinear systems
- A dynamical interval Newton method
- A numerical proof algorithm for the non-existence of solutions to elliptic boundary value problems
- Spatial relative equilibria and periodic solutions of the Coulomb \((n+1)\)-body problem
- Parameterization of unstable manifolds for DDEs: formal series solutions and validated error bounds
- Certified numerical real root isolation for bivariate nonlinear systems
- A method for global minimization of functions using the Krawczyk operator
- A functional analytic approach to validated numerics for eigenvalues of delay equations
- Finding all solutions of a class of nonlinear equations using an improved LP test
- An improved verification algorithm for nonlinear systems of equations based on Krawczyk operator
- Method for localizing the zeros of analytic functions based on the Krawczyk operator
- Computing slope enclosures by exploiting a unique point of inflection
- Certifying solutions to overdetermined and singular polynomial systems over \(\mathbb{Q}\)
- A verified inexact implicit Runge-Kutta method for nonsmooth ODEs
- On the proofs of some statements concerning the theorems of Kantorovich, Moore, and Miranda
- Nonlinear optimization exclusion tests for finding all solutions of nonlinear equations
- The Krawczyk operator and Kantorovich's theorem
- A rigorous implicit \(C^1\) Chebyshev integrator for delay equations
- A GENERALIZED THEOREM OF MIRANDA AND THE THEOREM OF NEWTON–KANTOROVICH
- A note on the comparison of the Kantorovich and Moore theorems
- Rigorous Sensitivity Analysis for Systems of Linear and Nonlinear Equations
- On some classical existence theorems
- Verified error bounds for isolated singular solutions of polynomial systems: case of breadth one
- An algorithm for isolating the real solutions of piecewise algebraic curves
- A modification of krawczyk's algorithm
- Validated numerics for equilibria of analytic vector fields: Invariant manifolds and connecting orbits
- A heuristic verification of the degree of the approximate GCD of two univariate polynomials
- Mathematically rigorous global optimization in floating-point arithmetic
- An interval version of Chebyshev's method for nonlinear operator equations
- A Theory of Interval Iteration
- Verified Error Bounds for All Eigenvalues and Eigenvectors of a Matrix
- Solving Linear Systems with Polynomial Parameter Dependency with Application to the Verified Solution of Problems in Structural Mechanics
- A Finite Algorithm for Almost Linear Complementarity Problems
- A parser for the interval evaluation of analytical functions and its application to engineering problems
- Verified error bounds for multiple roots of systems of nonlinear equations
- Generalized iteration methods for bounds of the solution of fixed point operator-equations
- VerifyRealRoots: a Matlab package for computing verified real solutions of polynomials systems of equations and inequalities
- Computing Galois groups of Fano problems
- 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
- Nonsmooth exclusion test for finding all solutions of nonlinear equations
- IGAOR and multisplitting IGAOR methods for linear complementarity problems
- An Algorithm for the Intersection Problem of Planar Parametric Curves
- Verified error bounds for solutions of Sylvester matrix equations
- Interval algorithm for absolute value equations
- Certifying zeros of polynomial systems using interval arithmetic
- Verified error bounds for eigenvalues of geometric multiplicity \(q\) and corresponding invariant subspaces
- Exact certificates for the solvability of stabilization problems through numerical algebraic geometry
- Validated numerics for algebraic path tracking
- Certified algebraic curve projections by path tracking
- Recent advances about the rigorous integration of parabolic PDEs via fully spectral Fourier-Chebyshev expansions
- Verified error bounds for singular solutions of nonlinear systems
- Centered forms and interval operators
- A second-order pruning step for verified global optimization
- 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?
- 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
- Validation and enclosure of solutions of linear complementarity problems
- A method to find all the roots of the system of nonlinear algebraic equations based on the Krawczyk operator
This page was built for publication: A Test for Existence of Solutions to Nonlinear Systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4140294)
