塞缪尔·科沃德;劳伦斯·鲍尔森;西奥·德雷恩;埃米利亚诺·莫里尼 使用自动定理证明器对超越固定和浮点算法进行形式验证。 （英语） Zbl 1522.68306号 正式Asp。计算。 34，第2号，第9条，第22页（2022）.MSC公司：60年第68季度 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{S.Coward}等人，正式Asp。计算。34，第2号，第9条，22页（2022年；Zbl 1522.68306） 全文： 内政部
Aleksandar Zeljić;彼得·贝克曼;Christoph M.温特斯泰格。;菲利普·吕默 使用UppSAT探索浮点算法的近似。 （英语） Zbl 1511.68172号 Galmiche，Didier（编辑）等人，《自动推理》。2018年7月14日至17日在英国牛津举行的第九届国际联合会议IJCAR 2018，作为联邦逻辑会议的一部分。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10900, 246-262 (2018).MSC公司：60年第68季度 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{A.Zeljić}等人，Lect。注释计算。科学。10900，246--262（2018；Zbl 1511.68172） 全文： 内政部 arXiv公司
Aleksandar Zeljić;Christoph M.温特斯泰格。;菲利普·吕默 求解器和决策过程的近似框架。 （英语） Zbl 1409.68265号 J.汽车。推理 58，第1期，127-147（2017）.MSC公司：68吨15 PDF格式BibTeX公司 XML格式引用 \textit｛A.Zeljić｝等人，J.奥托姆。推理58，No.1，127--147（2017；Zbl 1409.68265） 全文： 内政部 链接
安东尼·纳卡维奇;穆尼奥斯，塞萨尔;亚伦·杜特尔 基于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） 全文： 内政部