Pages that link to "Item:Q1164379"
From MaRDI portal
The following pages link to Solving nonlinear systems with least significant bit accuracy (Q1164379):
Displayed 14 items.
- Numerical method for verifying the existence and local uniqueness of a double turning point for a radially symmetric solution of the perturbed Gelfand equation (Q875360) (← links)
- A framework for existence tests based on the topological degree and homotopy (Q1006842) (← links)
- Some techniques for solving linear equation systems with guarantee (Q1058815) (← links)
- Accurate arithmetic results for decimal data on non-decimal computers (Q1060810) (← links)
- Componentwise inclusion and exclusion sets for solutions of quadratic equations in finite dimensional spaces (Q1079338) (← links)
- Least significant bit evaluation of arithmetic expressions in single- precision (Q1169256) (← links)
- Solving nonlinear parabolic problems with result verification. I: One- space dimensional case (Q1184131) (← links)
- Safe starting regions by fixed points and tightening (Q1340881) (← links)
- A circuit for exact summation of floating-point numbers (Q1351592) (← links)
- Verified numerical computations for multiple and nearly multiple eigenvalues of elliptic operators (Q1860405) (← links)
- Experiences with a method for enclosing solutions of systems of equations (Q1900752) (← links)
- Verified solution of large systems and global optimization problems (Q1900761) (← links)
- Rigorous Sensitivity Analysis for Systems of Linear and Nonlinear Equations (Q3479458) (← links)
- An enclosure method of eigenvalues for the elliptic operator linearized at an exact solution of nonlinear problems (Q5929746) (← links)