Intsolver

swMATH8787MaRDI QIDQ20787FDOQ20787

Author name not available (Why is that?)

Cited In (3)

• Certification of Bounds of Non-linear Functions: The Templates Method
• Certification of real inequalities: templates and sums of squares
• Mathematically rigorous global optimization in floating-point arithmetic

This page was built for software: Intsolver