×

找到3个文档(结果1-3)

浮点数的通用库及其在精确计算中的应用。 (英语) 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格式引用
全文: 链接

筛选结果依据…

文档类型

出版年份

全部的 前3名

主字段

全部的 前3名

软件