×

zbMATH — the first resource for mathematics

Certified roundoff error bounds using semidefinite programming. (English) Zbl 1380.65084

MSC:
65G50 Roundoff error
90C22 Semidefinite programming
PDF BibTeX XML Cite
Full Text: DOI