西尔维·博尔多;凯瑟琳·勒雷;纪尧姆·梅尔昆德 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) 全文: 内政部 哈尔
拉迪克,米兰;斯特凡·拉特肖恩 一类带量词前缀的量化约束的有效解是普遍存在的。 (英语) Zbl 1302.65118号 数学。计算。科学。 8,编号3-4,329-340(2014).MSC公司:65G20个 65H20个 65G30型 PDF格式BibTeX公司 XML格式引用 \textit{M.Hladík}和\textit{S.Ratschan},数学。计算。科学。8、编号3--4、329--340(2014;Zbl 1302.65118) 全文: 内政部 arXiv公司