Intsolver

swMATH8787MaRDI QIDQ20787FDOQ20787

Author name not available (Why is that?)

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