A comparison of the Moore and Miranda existence tests

DOI10.1007/S00607-004-0064-4MaRDI QIDQ1885286zbMATH OpenOpenAlexFDO

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

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)

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

Cited in

(15)

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

Describes a project that uses

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)