The following pages link to SONIC (Q22836):
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)
- A framework for existence tests based on the topological degree and homotopy (Q1006842) (← links)
- (Q3585623) (← links)