雷蒙德·布特 一种精确可靠的多变量链式规则。 (英语) Zbl 1473.26010号 SIAM版本。 63,第4号,854-864(2021)。MSC公司:26B05号 26号B12 35A09型 97I40型 97I60个 PDF格式BibTeX公司 XML格式引用 \textit{R.Boute},SIAM版本63,编号4,854--864(2021;Zbl 1473.26010) 全文: 内政部
西尔维·博尔多;凯瑟琳·勒雷;纪尧姆·梅尔金德 真实分析的形式化:对校对助理和图书馆的调查。 (英语) 兹伯利1364.68327 数学。结构。计算。科学。 26,第7期,1196-1233(2016)。MSC公司:68吨15 26-04 PDF格式BibTeX公司 XML格式引用 \textit{S.Boldo}等人,数学。结构。计算。科学。26,第7号,1196--1233(2016;Zbl 1364.68327) 全文: 内政部
伊泰·韦斯 调查文章:实数-建筑调查。 (英语) Zbl 1386.26002号 落基山J.数学。 45,第3期,737-762(2015)。MSC公司:26A03号 第11页63 00A05号 PDF格式BibTeX公司 XML格式引用 \textit{I.Weiss},洛基山J.数学。45,第3号,737--762(2015;Zbl 1386.26002) 全文: 内政部 arXiv公司 欧几里得
西尔维·博尔多;凯瑟琳·莱莱;纪尧姆·梅尔金德 Coquelicot:一个用户友好的Coq真实分析库。 (英语) Zbl 1322.68176号 数学。计算。科学。 9,第1期,41-62(2015)。MSC公司:68吨15 26-04 PDF格式BibTeX公司 XML格式引用 \textit{S.Boldo}等人,数学。计算。科学。9,第1号,41-62(2015;Zbl 1322.68176) 全文: 内政部 哈尔