布莱特,柯蒂斯;张凯文;布雷特·史蒂文斯;多米尼克·罗伊;伊利亚斯·科齐里亚斯;维杰·加内什 重量为15个码字的十阶射影平面的不存在证明。 (英语) Zbl 1460.68098号 申请。代数工程通讯。计算。 31,3-4195-213号(2020年)。MSC公司:68T20型 05B25号 51E20型 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{C.Bright}等人,应用。代数工程通讯。计算。31,编号3--4,195-213(2020;Zbl 1460.68098) 全文: 内政部 arXiv公司
姆拉丹·尼科利奇;韦斯纳·马林科维奇;佐尔坦科瓦奇;贾尼契奇,普雷德拉格 几何投资组合定理证明和证明程序运行时预测。 (英语) Zbl 1431.68123号 安。数学。Artif公司。智力。 85,编号2-4,119-146(2019)。MSC公司:68伏15 2004年5月5日 68T05型 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{M.Nikolić}等人,《数学年鉴》。Artif公司。智力。85,编号2--4,119-146(2019;Zbl 1431.68123) 全文: 内政部
斯特凡诺·博尔戈;克劳迪奥·马索洛 完整的几何图形。 (英语) Zbl 1208.51012号 版本符号。日志。 3,第4期,521-567(2010)。 审核人:维克托·潘布奇(凤凰城) MSC公司:2005年5月5日 03B30型 PDF格式BibTeX公司 XML格式引用 \textit{S.Borgo}和\textit{C.Masolo},Rev.Symb。日志。3,第4号,521--567(2010;Zbl 1208.51012) 全文: 内政部
菲利普·巴尔比亚尼;廷切夫、廷科 欧氏平面中基于线性的仿射推理。 (英语) Zbl 1122.68118号 J.应用。日志。 5,第3期,421-434(2007)。MSC公司:68T27型 03B45号 51N10号 PDF格式BibTeX公司 XML格式引用 \textit{P.Balbiani}和\textit{T.Tinchev},J.Appl。日志。5,第3号,421--434(2007;Zbl 1122.68118) 全文: 内政部