The following pages link to NLCertify (Q20786):
Displaying 3 items.
- Certification of real inequalities: templates and sums of squares (Q2349133) (← links)
- Mathematical software -- ICMS 2014. 4th international congress, Seoul, South Korea, August 5--9, 2014. Proceedings (Q2512544) (← links)
- Certified Roundoff Error Bounds Using Semidefinite Programming (Q3133585) (← links)
