Pages that link to "Item:Q747729"
From MaRDI portal
The following pages link to Verified error bounds for singular solutions of nonlinear systems (Q747729):
Displaying 10 items.
- Verified error bounds for isolated singular solutions of polynomial systems: case of breadth one (Q385011) (← links)
- Model verification in dynamics through strict upper error bounds (Q649418) (← links)
- Verified error bounds for eigenvalues of geometric multiplicity \(q\) and corresponding invariant subspaces (Q684197) (← links)
- Verifying topological indices for higher-order rank deficiencies (Q700182) (← links)
- Verification of a low-degree polynomial vanishing at empirical points (Q1671738) (← links)
- An improved verification algorithm for nonlinear systems of equations based on Krawczyk operator (Q2312674) (← links)
- A certified iterative method for isolated singular roots (Q2674007) (← links)
- Existence Verification for Higher Degree Singular Zeros of Nonlinear Systems (Q4443697) (← links)
- A verified method of singular solutions of overdetermined nonlinear systems (Q5260161) (← links)
- Verified error bounds for multiple roots of systems of nonlinear equations (Q5962124) (← links)