@书籍{zbMATH06740638，作者={博尔多、西尔维和梅尔金德、纪尧姆}，标题={计算机算术和形式证明。{用{Coq}系统验证}浮点算法}，国际标准图书编号={978-1-78548-112-3；978-0-08-101170-6}，年份={2017年}，出版商={阿姆斯特丹：Elsevier/ISTE出版社}，语言={英语}，关键词={68-02,65G50，65Y04，68Q60，68T15}，URL={www.sciencedirect.com/science/book/9781785481123}，zbMATH={6740638}，Zbl={1385.68001}}