Certified Roundoff Error Bounds Using Bernstein Expansions and Sparse Krivine-Stengle Representations
From MaRDI portal
Publication:5228976
DOI10.1109/TC.2018.2851235OpenAlexW3098109819WikidataQ129601839 ScholiaQ129601839MaRDI QIDQ5228976FDOQ5228976
Victor Magron, Alexandre Rocca, Thao Dang
Publication date: 13 August 2019
Published in: IEEE Transactions on Computers (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1610.07038
Cited In (1)
This page was built for publication: Certified Roundoff Error Bounds Using Bernstein Expansions and Sparse Krivine-Stengle Representations
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5228976)