NLCertify

swMATH8786MaRDI QIDQ20786FDOQ20786

Author name not available (Why is that?)

Described by source

• NLCertify: A Tool for Formal Nonlinear Optimization

Cited In (3)

• Certification of real inequalities: templates and sums of squares
• Certified Roundoff Error Bounds Using Semidefinite Programming
• Mathematical software -- ICMS 2014. 4th international congress, Seoul, South Korea, August 5--9, 2014. Proceedings

This page was built for software: NLCertify