84 citations · 342 across the 90 of their papers we have counts for
Showing 2016Show all
2 papers · 1 filter
math.NA2016
Interval Enclosures of Upper Bounds of Roundoff Errors using Semidefinite Programming
Victor Magron
A longstanding problem related to floating-point implementation of numerical programs is to provide efficient yet precise analysis of output errors. We present a framework to compu…
math.NA2016★ 6 cited
Certified Roundoff Error Bounds using Bernstein Expansions and Sparse Krivine-Stengle Representations
Alexandre Rocca, Victor Magron, Thao Dang
Floating point error is an inevitable drawback of embedded systems implementation. Computing rigorous upper bounds of roundoff errors is absolutely necessary to the validation of c…