Subdivision strategies for boxes in branch-and-bound nonlinear solvers and verification

DOI10.1007/S11786-014-0207-8MaRDI QIDQ475422zbMATH OpenOpenAlexFDO

Authors Elke Just

Publication date 27 November 2014

Published in Mathematics in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11786-014-0207-8

zbMATH Keywords

verificationinterval analysissubdivisionnonlinear systems of equationssolversubdivision directionsubdivision point

Mathematics Subject Classification ID

Numerical mathematical programming methods (65K05) Polyhedral combinatorics, branch-and-bound, branch-and-cut (90C57) Numerical computation of solutions to systems of equations (65H10) General methods in interval analysis (65G40) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Interval and finite arithmetic (65G30)

Recommendations

• A hybrid subdivision strategy for result-verifying nonlinear solvers
• scientific article; zbMATH DE number 5773704
• Empirical Evaluation of Innovations in Interval Branch and Bound Algorithms for Nonlinear Systems
• Exclusion Regions for Systems of Equations
• Verified Solutions of Systems of Nonlinear Polynomial Equations

Cites work

• scientific article; zbMATH DE number 5775425 (Why is no real title available?)
• scientific article; zbMATH DE number 5773704 (Why is no real title available?)
• scientific article; zbMATH DE number 54095 (Why is no real title available?)
• Algorithm 681: INTBIS, a portable interval Newton/bisection package
• Efficient task scheduling in the parallel result-verifying solution of nonlinear systems
• Interval arithmetic: from principles to implementation
• Symbolic-Numeric Techniques for Solving Nonlinear Systems
• The cluster problem in multivariate global optimization

Cited in

(3)

• A hybrid subdivision strategy for result-verifying nonlinear solvers
• Calibrating the wealth effects of decoupled payments: does decreasing absolute risk aversion matter?
• Subdivision Termination Criteria in Subdivision Multivariate Solvers

Describes a project that uses

Uses Software

• SONIC
• INTBIS

This page was built for publication: Subdivision strategies for boxes in branch-and-bound nonlinear solvers and verification

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q475422)