Pages that link to "Item:Q849180"
From MaRDI portal
The following pages link to Verified numerical computation for nonlinear equations (Q849180):
Displaying 11 items.
- Efficient optimal eighth-order derivative-free methods for nonlinear equations (Q351456) (← links)
- Two optimal eighth-order derivative-free classes of iterative methods (Q696044) (← links)
- On verified numerical computations in convex programming (Q849186) (← links)
- Principles of verified numerical integration (Q861893) (← links)
- Numerical validation for systems of absolute value equations (Q1675421) (← links)
- A new family of adaptive methods with memory for solving nonlinear equations (Q2418468) (← links)
- Numerical verification methods for differential equations: computer-assisted proofs based on infinite dimensional sequential iteration (Q2917687) (← links)
- (Q3140964) (← links)
- Verified Solutions of Systems of Nonlinear Polynomial Equations (Q4577111) (← links)
- Numerical Verification of the Hasselmann equation (Q5248656) (← links)
- Numerical Software with Result Verification (Q5308352) (← links)