Quality of computations on a machine: certified evaluation of numerical functions
Người báo cáo: Nicolas Brisebarre (CNRS, LIP, AriC team, ÉNS Lyon)

Thời gian: 9h30 Thứ 6, 14/11/2014

Địa điểm: Phòng 201, Nhà A5, Viện Toán học, 18 Hoàng Quốc Việt, Cầu Giấy Hà Nội

Trở lại