马凯·曼;艾哈迈德·伊尔凡;阿尔贝托·格里乔;奥德·帕顿;克拉克·巴雷特 模型检验的反例指导预言模数为数组理论。 (英语) Zbl 07596574号 日志。方法计算。科学。 18,第3号,第26号论文,28页(2022年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{M.Mann}等人,《日志》。方法计算。科学。18,第3号,第26号论文,28页(2022;Zbl 07596574) 全文: 内政部 arXiv公司
塞尔吉奥·莫弗;亚历山德罗·西马蒂;阿尔贝托·格里乔;艾哈迈德·伊尔凡;斯特凡诺·托内塔 多项式动力系统的隐式半代数抽象。 (英语) 兹比尔1493.68217 Silva,Alexandra(编辑)等人,《计算机辅助验证》。第33届国际会议,CAV 2021,虚拟活动,2021年7月20日至23日。诉讼程序。第一部分查姆:施普林格。莱克特。注释计算。科学。12759, 529-551 (2021).MSC公司:60年第68季度 03B70号 34A34飞机 PDF格式BibTeX公司 XML格式引用 \textit{S.Mover}等人,Lect。注释计算。科学。12759529--551(2021;Zbl 1493.68217) 全文: 内政部