NLCertify

swMATH8786MaRDI QIDQ20786FDOQ20786

Author name not available (Why is that?)

Official website: http://nl-certify.forge.ocamlcore.org/

Described by source

• NLCertify: a tool for formal nonlinear optimization

Cited In (9)

• Certified roundoff error bounds using semidefinite programming
• Certification of real inequalities: templates and sums of squares
• SgpDec
• CUMODP
• Intsolver
• IFSGen4LaTeX
• Sollya
• Metalibm
• Mathematical software -- ICMS 2014. 4th international congress, Seoul, South Korea, August 5--9, 2014. Proceedings

This page was built for software: NLCertify