8 citations · 39 across the 9 of their papers we have counts for
Showing math.NAShow all
2 papers · 1 filter
math.NA2018
Certified Roundoff Error Bounds using Bernstein Expansions and Sparse Krivine-Stengle Representations
Victor Magron, Alexandre Rocca, Thao Dang
Floating point error is a drawback of embedded systems implementation that is difficult to avoid. Computing rigorous upper bounds of roundoff errors is absolutely necessary for the…
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…