Magron, Victor Interval enclosures of upper bounds of roundoff errors using semidefinite programming. (English) Zbl 1484.65126 ACM Trans. Math. Softw. 44, No. 4, Article No. 41, 18 p. (2018). MSC: 65K05 65G40 90C22 PDFBibTeX XMLCite \textit{V. Magron}, ACM Trans. Math. Softw. 44, No. 4, Article No. 41, 18 p. (2018; Zbl 1484.65126) Full Text: DOI arXiv
Magron, Victor; Constantinides, George; Donaldson, Alastair Certified roundoff error bounds using semidefinite programming. (English) Zbl 1380.65084 ACM Trans. Math. Softw. 43, No. 4, Article No. 34, 31 p. (2017). MSC: 65G50 90C22 PDFBibTeX XMLCite \textit{V. Magron} et al., ACM Trans. Math. Softw. 43, No. 4, Article No. 34, 31 p. (2017; Zbl 1380.65084) Full Text: DOI arXiv