NLCertify

MaRDI QIDQ20786swMATHFDO

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

Described by source

• NLCertify: a tool for formal nonlinear optimization

Cited in

(9)

• Certification of real inequalities: templates and sums of squares
• Certified roundoff error bounds using semidefinite programming
• 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