布莱特,柯蒂斯;德拉戈米尔·奥科维奇。;伊利亚斯·科齐里亚斯;Ganesh,维杰 SAT+CAS组合搜索方法及其在最佳矩阵中的应用。 (英语) Zbl 1434.05001号 安。数学。Artif公司。智力。 87,第4号,321-342(2019). 审核人:Ioan Tomescu(布库雷什蒂) MSC公司:05-04 05B20号 68卢比 68T27型 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{C.Bright}等人,《数学年鉴》。Artif公司。智力。87,第4号,321--342(2019;Zbl 1434.05001) 全文: 内政部 arXiv公司
约翰·马考斯基(Johann A.Makowsky)。 可以设计一个几何引擎吗?可以设计几何引擎吗?关于某些仿射欧几里德几何的(不)可判定性。 (英语) Zbl 1439.03033号 安。数学。Artif公司。智力。 85,编号2-4,259-291(2019). 审核人:维克托·潘布奇(格伦代尔) MSC公司:03年2月25日 03天35分 2005年5月5日 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Makowsky},Ann.数学。Artif公司。智力。85,编号2--4,259--291(2019;Zbl 1439.03033) 全文: 内政部 arXiv公司
费德里科·伯根蒂;Monica,Stefania 利用改进的Bernstein形式研究有限域上多项式约束的超弧一致性。 (英语) Zbl 1409.68268号 安。数学。Artif公司。智力。 80,第2期,131-151(2017).MSC公司:68T20型 90C27型 PDF格式BibTeX公司 XML格式引用 \textit{F.Bergenti}和\textit{S.Monica},Ann.数学。Artif公司。智力。80,第2号,131--151(2017;Zbl 1409.68268) 全文: 内政部
彼得·沃伊切乔夫斯基;帕夫洛斯·艾里纳基斯;苏布拉马尼,K。 勘误表:“分析线性算术理论的限制片段”。 (英语) Zbl 1393.68054号 安。数学。Artif公司。智力。 79,第4期,371-392(2017).MSC公司:2015年第68季度 2015年3月1日 90C05(二氧化碳) PDF格式BibTeX公司 XML格式引用 \textit{P.Wojciechowski}等人,《数学年鉴》。Artif公司。智力。79,第4号,371--392(2017;Zbl 1393.68054) 全文: 内政部
彼得·沃伊切乔夫斯基;帕夫洛斯·艾里纳基斯;苏布拉马尼,K。 分析线性算术理论的限制片段。 (英语) Zbl 1390.68318号 安。数学。Artif公司。智力。 79,编号1-3,245-266(2017); 勘误表同上79,第4号,371-392(2017)。MSC公司:2015年第68季度 2015年3月1日 90C05(二氧化碳) PDF格式BibTeX公司 XML格式引用 \textit{P.Wojciechowski}等人,《数学年鉴》。Artif公司。智力。79,编号1--3,245--266(2017;Zbl 1390.68318) 全文: 内政部
帕夫洛斯·艾里纳基斯;萨尔瓦多鲁杰里;苏布拉马尼,K。;彼得·沃伊切乔夫斯基 关于量化的线性含义。 (英语) Zbl 1319.68102号 安。数学。Artif公司。智力。 71,第4号,301-325(2014).MSC公司:2017年第68季度 2015年3月1日 90C05(二氧化碳) PDF格式BibTeX公司 XML格式引用 \textit{P.Eirinakis}等人,《数学年鉴》。Artif公司。智力。71,第4号,301-325(2014;Zbl 1319.68102) 全文: 内政部