A comparison of the Moore and Miranda existence tests

DOI10.1007/S00607-004-0064-4zbMATH Open1069.47060OpenAlexW2089972291MaRDI QIDQ1885286FDOQ1885286

Authors: Yanyan Li 

Publication date: 28 October 2004

Published in: Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00607-004-0064-4

Recommendations

• A note on Moore's interval test for zeros of nonlinear systems
• scientific article; zbMATH DE number 1694899
• scientific article; zbMATH DE number 3881783
• Existence Tests for Solutions of Nonlinear Equations Using Borsuk's Theorem
• A comparison of simple tests for accuracy of approximate solutions to nonlinear systems with uncertain data

zbMATH Keywords

nonlinear systemsinterval analysisMoore's theoremMiranda's existence theorem

Mathematics Subject Classification ID

Numerical computation of solutions to systems of equations (65H10) Fixed-point theorems (47H10) General methods in interval analysis (65G40) Algorithms with automatic result verification (65G20)

Cited In (15)

• Verified error bounds for multiple roots of systems of nonlinear equations
• A second-order pruning step for verified global optimization
• A comparison of simple tests for accuracy of approximate solutions to nonlinear systems with uncertain data
• A note on Moore's interval test for zeros of nonlinear systems
• On computer-assisted proofs for solutions of linear complementarity problems
• Proving the existence of zeros using the topological degree and interval arithmetic
• Comparison of the Hansen-Sengupta and the Frommer-Lang-Schnurr existence tests
• Numerical validation of the existence of solutions for variational inequality problem via Poincaré-Miranda theorem
• On preconditioners for the Borsuk existence test
• Computing slope enclosures by exploiting a unique point of inflection
• On the proofs of some statements concerning the theorems of Kantorovich, Moore, and Miranda
• A Comparison of Some Existence Tests
• Novel range functions via Taylor expansions and recursive Lagrange interpolation with application to real root isolation
• Effective topological degree computation based on interval arithmetic
• Affine point processes: approximation and efficient simulation

Uses Software

• INTOPT_90

This page was built for publication: A comparison of the Moore and Miranda existence tests

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1885286)