马克·达马斯;纪尧姆·梅尔金德 涉及四舍五入运算符的表达式边界的证明。 (英语) Zbl 1364.68328号 ACM事务处理。数学。柔和。 37,第1号,第2条,20页(2010年).MSC公司:68吨15 65G40型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Daumas}和\textit{G.Melquiond},ACM Trans。数学。柔和。37,第1号,第2条,20页(2010年;Zbl 1364.68328) 全文: 内政部
西尔维·博尔多;马克·达马斯 一种简单的测试,用于验证Horner多项式规则的准确性。 (英语) Zbl 1077.65020号 数字。算法 37,编号1-4,45-60(2004). 审核人:Aurelian Bejancu(萨法特) MSC公司:65D20个 65克50 03B35型 2005年12月 68吨15 12-04 PDF格式BibTeX公司 XML格式引用 \textit{S.Boldo}和\textit{M.Daumas},数字。算法37,编号1-4,45-60(2004;Zbl 1077.65020) 全文: 内政部
马克·达马斯;劳伦斯·里多;Laurent Théry 浮点数的通用库及其在精确计算中的应用。 (英语) Zbl 1005.68544号 Boulton,Richard J.(编辑)等人,《高阶逻辑中的定理证明》。第14届国际会议,2001年TPHOL,苏格兰爱丁堡,英国,2001年9月3日至6日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。2152, 169-184 (2001).MSC公司:68吨15 65克50 PDF格式BibTeX公司 XML格式引用 \textit{M.Daumas}等人,Lect。注释计算。科学。2152,169--184(2001;Zbl 1005.68544) 全文: 链接