布莱特，柯蒂斯;张凯文;布雷特·史蒂文斯;多米尼克·罗伊;伊利亚斯·科齐里亚斯;维杰·加内什 重量为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 1439.03033号 安。数学。Artif公司。智力。 85，编号2-4，259-291（2019）. 审核人：维克托·潘布奇（格伦代尔） MSC公司：03B25号 03天35分 2005年5月5日 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Makowsky}，Ann.数学。Artif公司。智力。85，编号2--4，259--291（2019；Zbl 1439.03033） 全文： 内政部 arXiv公司
迈克尔·比森;朱利安·纳布克斯;弗里克·威迪杰克 校对欧几里德。 （英语） Zbl 07055783号 安。数学。Artif公司。智力。 85，编号2-4，213-257（2019）.MSC公司：03B30型 2005年5月5日 PDF格式BibTeX公司 XML格式引用 \textit{M.Beeson}等人，Ann.数学。Artif公司。智力。85，编号2--4，213--257（2019；Zbl 07055783） 全文： 内政部 arXiv公司
姆拉丹·尼科利奇;韦斯纳·马林科维奇;佐尔坦科瓦奇;贾尼契奇，普雷德拉格 几何投资组合定理证明和证明程序运行时预测。 （英语） 兹比尔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 1431.51013号 数学杂志。成像视觉。 61，第3期，352-358（2019）.MSC公司：51立方米 2015年第14季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Wagner}，J.数学。成像视觉。61，第3号，352--358（2019；Zbl 1431.51013） 全文： 内政部
帕斯卡·施雷克 关于机械化直尺和罗盘构造。 （英语） Zbl 1410.51025号 J.系统。科学。复杂。 32，第1期，124-149（2019）.MSC公司：2015年11月51日 PDF格式BibTeX公司 XML格式引用 \textit{P.Schreck}，J.系统。科学。复杂。32，第1号，124--149（2019；Zbl 1410.51025） 全文： 内政部 哈尔
Abánades，米格尔;弗朗西斯科·博塔纳;佐尔坦科瓦奇;托马斯·雷西奥;塞拉州索利姆-盖塞 GeoGebra中自动推理工具的开发。 （英语） Zbl 1365.68431号 ACM通信。计算。代数 50，第3号，85-88（2016）.MSC公司：68单位05 2015年11月51日 第68页第15页 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{M.Abánades}等人，ACM Commun。计算。代数50，第3期，85-88（2016；Zbl 1365.68431） 全文： 内政部
帕斯卡·施雷克;韦斯纳·马林科维奇;贾尼契奇，普雷德拉格 三角形定位问题的可构造类。 （英语） Zbl 1342.51017号 数学。计算。科学。 10，第1期，27-39（2016）.MSC公司：2015年11月51日 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{P.Schreck}等人，《数学》。计算。科学。10、第1号、第27-39号（2016；Zbl 1342.51017） 全文： 内政部
韦斯纳·马林科维奇;贾尼契奇，普雷德拉格;帕斯卡·施雷克 几何构造问题可验证求解的计算机定理证明。 （英语） Zbl 1434.03032号 Botana，Francisco（编辑）等人，《几何中的自动推导》。2014年7月9日至11日，第十届国际研讨会，ADG 2014，葡萄牙科英布拉。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。9201，72-93（2015年）。MSC公司：03B35型 2015年11月51日 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{V.Marinković}等人，Lect。注释计算。科学。9201、72-93（2015年；Zbl 1434.03032） 全文： 内政部
帕维尔·佩奇 关于一种自动证明不等式的方法。 （英语） Zbl 1350.68242号 Schreck，Pascal（编辑）等人，《几何中的自动演绎》。2010年7月22日至24日，德国慕尼黑ADG 2010第八届国际研讨会。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-25069-9/pbk）。计算机科学课堂讲稿6877。人工智能课堂讲稿，152-168（2011）。MSC公司：第68页第15页 13页第10页 2016年11月51日 PDF格式BibTeX公司 XML格式引用 \textit{P.Pech}，莱克特。注释计算。科学。6877，152--168（2011；Zbl 1350.68242） 全文： 内政部
叶，郑;周尚卿;高小山 平面几何中证明的视觉动态呈现。二： 使用全角度方法和演绎数据库方法自动生成可视化动态演示。 （英语） Zbl 1211.68373号 J.汽车。推理 45，第3期，243-266（2010）.MSC公司：第68页第15页 51-04 68单位05 PDF格式BibTeX公司 XML格式引用 \textit{Z.Ye}等人，J.Autom。推理45，No.3，243--266（2010；Zbl 1211.68373） 全文： 内政部
叶，郑;周尚卿;高小山 平面几何中证明的视觉动态呈现。一： 基本功能和手动输入方法。 （英语） Zbl 1211.68372号 J.汽车。推理 第31213-241号第45页（2010年）.MSC公司：第68页第15页 51-04 68单位05 PDF格式BibTeX公司 XML格式引用 \textit{Z.Ye}等人，J.Autom。推理45，No.3，213--241（2010；Zbl 1211.68372） 全文： 内政部
斯特凡诺·博尔戈;克劳迪奥·马索洛 完整的几何图形。 （英语） 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） 全文： 内政部
G·达尔佐托。;T·雷西奥。 关于初等几何中定理的自动发现协议。 （英语） Zbl 1184.68458号 J.汽车。推理 43，第2期，203-236（2009）.MSC公司：第68页第15页 1999年第14季度 51-04 PDF格式BibTeX公司 XML格式引用 \textit｛G.Dalzotto｝和\textit｛T.Recio｝，J.奥托姆。推理43，No.2，203--236（2009；Zbl 1184.68458） 全文： 内政部
路易斯·佩内达（Luis A.Pineda）。 几何概念综合中的守恒原理和作用方案。 （英语） Zbl 1168.03315号 Artif公司。智力。 171，第4期，197-238（2007）.MSC公司：03B35型 51M99型 68T05型 第68页第15页 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{L.A.Pineda}，阿蒂夫。智力。171，第4号，197--238（2007；Zbl 1168.03315） 全文： 内政部
帕维尔·佩奇 关于自动证明中根式理想的需要：关于正多边形的一个定理。 （英语） Zbl 1195.68094号 Botana，Francisco（编辑）等人，《几何中的自动推导》。2006年8月31日至9月2日在西班牙蓬特韦德拉举行的ADG 2006第六届国际研讨会。修订论文。柏林：施普林格出版社（ISBN 978-3-540-77355-9/pbk）。计算机科学课堂讲稿4869。《人工智能讲义》，157-170（2007）。MSC公司：第68页第15页 51米20 68单位05 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{P.Pech}，莱克特。注释计算。科学。4869、157--170（2007年；Zbl 1195.68094） 全文： 内政部
安东尼奥·蒙特斯;托马斯·雷西奥 使用最小正则综合Gröbner系统自动发现几何定理。 （英语） Zbl 1195.68093号 Botana，Francisco（编辑）等人，《几何中的自动推导》。2006年8月31日至9月2日在西班牙蓬特韦德拉举行的ADG 2006第六届国际研讨会。修订论文。柏林：施普林格出版社（ISBN 978-3-540-77355-9/pbk）。计算机科学课堂讲稿4869。人工智能课堂讲稿，113-138（2007）。MSC公司：第68页第15页 68瓦30 51-04 PDF格式BibTeX公司 XML格式引用 \textit{A.Montes}和\textit{T.Recio}，莱克特。注释计算。科学。4869、113--138（2007年；Zbl 1195.68093） 全文： 内政部 arXiv公司
菲利普·巴尔比亚尼;廷切夫、廷科 欧几里得平面中基于线的仿射推理。 （英语） Zbl 1122.68118号 J.应用。日志。 5，第3期，421-434（2007）.MSC公司：第68页第27页 03B45 51N10号 PDF格式BibTeX公司 XML格式引用 \textit{P.Balbiani}和\textit{T.Tinchev}，J.Appl。日志。5，第3号，421--434（2007；Zbl 1122.68118） 全文： 内政部
A.J.巴德利。;H·J·A·M·海伊曼斯。 关联和格演算及其在随机几何和图像分析中的应用。 （英语） Zbl 0818.60009号 申请。代数工程通讯。计算。 第6期，第3期，第129-146页（1995年）.MSC公司：60D05型 51个B05 2015年1月5日 PDF格式BibTeX公司 XML格式引用 \textit{A.J.Baddeley}和\textit{H.J.A.M.Heijmans}，应用。代数工程通讯。计算。6，第3号，129--146（1995；Zbl 0818.60009） 全文： 内政部
周尚卿;高小山 Ritt-Wu的分解算法和几何定理证明。 （英语） Zbl 1509.68303号 Stickel，Mark E.（编辑），自动扣除-CADE-10。第十届国际会议，德国凯泽斯劳滕，1990年7月24日至27日。诉讼程序。柏林等：施普林格出版社。莱克特。注释计算。科学。449, 207-220 (1990).MSC公司：68伏15 2014年第30季度 51-08 PDF格式BibTeX公司 XML格式引用 \textit｛S.-C.Chou｝和\textit｛X.S.Gao｝，Lect。注释计算。科学。449207-220（1990年；Zbl 1509.68303） 全文： 内政部
拉杜·霍劳;迈克尔·布雷迪 关于图像轮廓的几何解释。 （英语） Zbl 0673.65009号 Artif公司。智力。 37，编号1-3333-353（1988）. 审核人：G.Maeß MSC公司：65日第15天 51号05 68单位99 PDF格式BibTeX公司 XML格式引用 \textit{R.Horaud}和\textit{M.Brady}，Artif。智力。37，编号1--3，333--353（1988；Zbl 0673.65009） 全文： 内政部
约瑟夫·戈根（Joseph A.Goguen）。 一些基本几何结构的模代数规范。 （英语） Zbl 0664.68021号 Artif公司。智力。 37，编号1-3，123-153（1988）. 审核人：G.格里加斯 MSC公司：68第05页 第68页第15页 2015年11月51日 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Goguen}，阿蒂夫。智力。37，编号1--3，123-153（1988；Zbl 0664.68021） 全文： 内政部
海尔德·科埃略;路易斯·莫尼兹·佩雷拉 Prolog几何定理证明中的自动推理。 （英语） Zbl 0642.68161号 J.汽车。推理 2, 329-390 (1986).MSC公司：第68页第15页 51-04 PDF格式BibTeX公司 XML格式引用 \textit{H.Coelho}和\textit{L.M.Pereira}，J.Autom。推理2329--390（1986；Zbl 0642.68161） 全文： 内政部
关岛杉原 分析多面体线条图的代数和组合方法。 （英语） Zbl 0546.68053号 离散应用程序。数学。 9, 77-104 (1984).MSC公司：68卢比99 51米20 68吨10 PDF格式BibTeX公司 XML格式引用 \textit{K.Sugihara}，离散应用程序。数学。9、77——104（1984年；Zbl 0546.68053） 全文： 内政部