Certified Roundoff Error Bounds Using Bernstein Expansions and Sparse Krivine-Stengle Representations

DOI10.1109/TC.2018.2851235OpenAlexW3098109819WikidataQ129601839 ScholiaQ129601839MaRDI QIDQ5228976

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

Mathematics Subject Classification ID

Computer science (68-XX)

This page was built for publication: Certified Roundoff Error Bounds Using Bernstein Expansions and Sparse Krivine-Stengle Representations