Certified Roundoff Error Bounds Using Bernstein Expansions and Sparse Krivine-Stengle Representations
2017 ◽
Vol 43
(4)
◽
pp. 1-31
◽
1972 ◽
Vol 26
(118)
◽
pp. 477-477
◽
1970 ◽
Vol 31
(C4)
◽
pp. C4-123-C4-123