Pages that link to "Item:Q1885286"

The following pages link to A comparison of the Moore and Miranda existence tests (Q1885286):

Displaying 10 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)
• Computing slope enclosures by exploiting a unique point of inflection (Q2378918) (← links)
• Affine Point Processes: Approximation and Efficient Simulation (Q3465933) (← links)
• (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)