贾斯珀·纳尔巴赫;艾丽卡·阿尔布拉汉姆;菲利普·斯佩克特;克里斯托弗·布朗。;詹姆斯·H·达文波特。;英格兰，马修 单个圆柱形代数单元的水平构造。 （英语） Zbl 07799840号 J.塞姆。计算。 123，文章ID 102288，44 p.（2024）.MSC公司：68瓦xx 68泰克 03Cxx号 PDF格式BibTeX公司 XML格式引用 \textit{J.Nalbach}等人，J.Symb。计算。123，文章ID 102288，44 p.（2024；Zbl 07799840） 全文： 内政部 arXiv公司
佐尔坦科瓦奇;克里斯托弗·布朗;托马斯·雷西奥;洛伯特·瓦伊达 在web浏览器中使用Tarski公式和半代数集进行计算。 （英语） Zbl 07725360号 J.塞姆。计算。 120，文章ID 102235，17 p.（2024）.MSC公司：68瓦xx 03Cxx号 68泰克 PDF格式BibTeX公司 XML格式引用 \textit{Z.Kovács}等人，J.Symb。计算。120，文章ID 102235，17 p.（2024；Zbl 07725360） 全文： 内政部
詹姆斯·哈罗德·达文波特 证明算法的执行正确吗？ （英语） Zbl 07810736号 Catherine Dubois（编辑）等人，《智能计算机数学》。第16届国际会议，CICM 2023，英国剑桥，2023年9月5-8日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14101, 255-269 (2023).MSC公司：68伏xx PDF格式BibTeX公司 XML格式引用 \textit{J.H.Davenport}，莱克特。注释计算。科学。14101255-269（2023；Zbl 07810736） 全文： 内政部
亚历山德罗·西马蒂;阿尔贝托·格里乔;恩里科·利帕里尼;罗伯托·塞巴斯蒂亚尼 通过无约束优化和拓扑度测试处理SMT中的多项式和超越函数。 （英语） Zbl 1522.68716号 Bouajjani，Ahmed（编辑）等人，《验证和分析自动化技术》。第20届国际研讨会，ATVA 2022，虚拟活动，2022年10月25日至28日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13505, 137-153 (2022).MSC公司：68伏15 55平方米 90立方 PDF格式BibTeX公司 XML格式引用 \textit{A.Cimatti}等人，Lect。注释计算。科学。13505，137--153（2022；Zbl 1522.68716） 全文： 内政部 链接
特雷索，德尔里奥;英格兰，马修 基于复杂度分析选择圆柱代数分解变量排序的新启发式算法。 （英语） Zbl 1514.68323号 Boulier，François（编辑）等人，《科学计算中的计算机代数》。第24届国际研讨会，2022年8月22日至26日，土耳其格布泽，CASC 2022。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13366, 300-317 (2022).MSC公司：68瓦30 第14页 2014年第30季度 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{T.del Río}和\textit{M.England}，Lect。注释计算。科学。13366，300-317（2022；Zbl 1514.68323） 全文： 内政部 arXiv公司
基里恩·克莱默;安德鲁·雷诺兹;克拉克·巴雷特;塞萨尔·蒂内利 中求解非线性实数算法的协作技术cvc5公司SMT求解器（系统描述）。 （英语） Zbl 07628183号 Blanchette，Jasmin（编辑）等人，《自动推理》。第十一届国际联合会议，2022年8月8日至10日，以色列海法，IJCAR 2022。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13385, 95-105 (2022).MSC公司：68伏15 PDF格式BibTeX公司 XML格式引用 \textit{G.Kremer}等人，Lect。注释计算。科学。13385，95-105（2022；Zbl 07628183） 全文： 内政部
哈尼尔·巴博萨;安德鲁·雷诺兹;基里恩·克莱默;汉娜·拉奇尼特;艾娜·尼梅茨;安德烈斯·诺兹利;亚历克斯·奥兹德米尔;马蒂亚斯·普雷纳;阿琼·维斯瓦纳坦;斯科特·维特里;尤尼·佐哈尔;塞萨尔·蒂内利;克拉克·巴雷特 在工业级SMT解决方案中进行灵活的验证生产。 （英语） Zbl 07628179号 Blanchette，Jasmin（编辑）等人，《自动推理》。第十一届国际联合会议，2022年8月8日至10日，以色列海法，IJCAR 2022。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13385, 15-35 (2022).MSC公司：68伏15 PDF格式BibTeX公司 XML格式引用 \textit{H.Barbosa}等人，Lect。注释计算。科学。13385，15--35（2022；Zbl 07628179） 全文： 内政部
菲利波·比加雷拉;亚历山德罗·西马蒂;阿尔贝托·格里乔;艾哈迈德·埃尔凡;马丁·乔纳什;马可·罗维里;罗伯托·塞巴斯蒂亚尼;帕特里克·特伦丁 通过增量线性化优化模非线性算法。 （英语） Zbl 07497924号 Konev，Boris（编辑）等人，《组合系统的前沿》。第十三届国际研讨会，FroCoS 2021，英国伯明翰，2021年9月8-10日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12941213-231（2021年）。MSC公司：68泰克 PDF格式BibTeX公司 XML格式引用 \textit{F.Bigarella}等人，莱克特。注释计算。科学。12941、213--231（2021；Zbl 07497924） 全文： 内政部 链接