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

From MaRDI portal
Publication:5228976