NLCertify
From MaRDI portal
Software:20786
No author found.
Related Items (3)
Mathematical software -- ICMS 2014. 4th international congress, Seoul, South Korea, August 5--9, 2014. Proceedings ⋮ Certified Roundoff Error Bounds Using Semidefinite Programming ⋮ Certification of real inequalities: templates and sums of squares
This page was built for software: NLCertify
