Subdivision strategies for boxes in branch-and-bound nonlinear solvers and verification (Q475422)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Subdivision strategies for boxes in branch-and-bound nonlinear solvers and verification |
scientific article |
Statements
Subdivision strategies for boxes in branch-and-bound nonlinear solvers and verification (English)
0 references
27 November 2014
0 references
interval analysis
0 references
solver
0 references
nonlinear systems of equations
0 references
subdivision
0 references
subdivision direction
0 references
subdivision point
0 references
verification
0 references
