Pages that link to "Item:Q2954926"
From MaRDI portal
The following pages link to A Hybrid Subdivision Strategy for Result-Verifying Nonlinear Solvers (Q2954926):
Displaying 4 items.
- Subdivision strategies for boxes in branch-and-bound nonlinear solvers and verification (Q475422) (← links)
- Efficient task scheduling in the parallel result-verifying solution of nonlinear systems (Q811943) (← links)
- Presentation of a highly tuned multithreaded interval solver for underdetermined and well-determined nonlinear systems (Q907591) (← links)
- (Q4949346) (← links)