Pages that link to "Item:Q1885286"
From MaRDI portal
The following pages link to A comparison of the Moore and Miranda existence tests (Q1885286):
Displaying 15 items.
- A second-order pruning step for verified global optimization (Q839324) (← links)
- On computer-assisted proofs for solutions of linear complementarity problems (Q861881) (← links)
- Proving the existence of zeros using the topological degree and interval arithmetic (Q861912) (← links)
- Comparison of the Hansen-Sengupta and the Frommer-Lang-Schnurr existence tests (Q873155) (← links)
- A comparison of simple tests for accuracy of approximate solutions to nonlinear systems with uncertain data (Q874449) (← links)
- A note on Moore's interval test for zeros of nonlinear systems (Q1094101) (← links)
- Computing slope enclosures by exploiting a unique point of inflection (Q2378918) (← links)
- On the proofs of some statements concerning the theorems of Kantorovich, Moore, and Miranda (Q2484031) (← links)
- On Preconditioners for the Borsuk Existence Test (Q2954929) (← links)
- A Comparison of Some Existence Tests (Q3177089) (← links)
- Affine Point Processes: Approximation and Efficient Simulation (Q3465933) (← links)
- Numerical validation of the existence of solutions for variational inequality problem via Poincaré-Miranda theorem (Q5051233) (← links)
- Effective topological degree computation based on interval arithmetic (Q5179223) (← links)
- Verified error bounds for multiple roots of systems of nonlinear equations (Q5962124) (← links)
- Novel range functions via Taylor expansions and recursive Lagrange interpolation with application to real root isolation (Q6666537) (← links)
