Konečný，迈克尔;塞翁公园;Thies，霍尔格 公理实数和经证明有效的精确实数计算。 （英语） Zbl 07547745号 Silva，Alexandra（编辑）等人，《逻辑、语言、信息和计算》。第27届国际研讨会，WoLLIC 2021，虚拟活动，2021年10月5日至8日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13038, 252-268 (2021).MSC公司：03B70号 PDF格式BibTeX公司 XML格式引用 \textit{M.Koneční}等人，Lect。注释计算。科学。13038、252--268（2021；Zbl 07547745） 全文： 内政部 链接
安东尼·纳卡维奇;塞萨尔·穆尼奥斯;亚伦·杜特尔 基于Sturm和Tarski定理的单变量多项式计算的形式化验证决策程序。 （英语） Zbl 1356.68196号 J.汽车。推理 54，第4期，285-326（2015）.MSC公司：68吨15 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{A.Narkawicz}等人，J.Autom。推理54，No.4，285--326（2015；Zbl 1356.68196） 全文： 内政部