Intsolver

MaRDI QIDQ20787swMATHFDO

Official website http://www.mathworks.ch/matlabcentral/fileexchange/25211-intsolver-an-interval-based-solver-for-global-optimization/content/intsolver/intdiv.m

Cited in

(4)

• Certification of real inequalities: templates and sums of squares
• Mathematically rigorous global optimization in floating-point arithmetic
• NLCertify
• Certification of bounds of non-linear functions: the templates method

This page was built for software: Intsolver