LIP6 CNRS Sorbonne Université Tremplin Carnot Interfaces
Direct Link LIP6 » Liên kết » Các sự kiện tổ chức tại LIP6

GT PequanRSS

New results on floating-point

Người thuyết trình : Siegfried M. Rump (TU Hamburg & université Waseda)
We show how to optimize a rounding with respect to the first, or the second, or w.r.t. to both error models. Moreover, proving techniques are discussed avoiding digging in bits and pieces but restricting proofs to the application of inequalities. The proofs become more clear and are sometimes much shorter.
Biết thêm chi tiết
Marc.Mezzarobba (at)
 Mentions légales
Sơ đồ site |