×
罗内斯·马西亚斯，尤金尼奥;尤金尼奥·罗内斯·洛扎诺

三维几何中自动定理证明和发现的Maple包。 （英语） Zbl 1195.68095号

Botana，Francisco（编辑）等人，《几何中的自动演绎》。2006年8月31日至9月2日在西班牙蓬特韦德拉举行的ADG 2006第六届国际研讨会。修订论文。柏林：施普林格出版社（ISBN 978-3-540-77355-9/pbk）。计算机科学课堂讲稿4869。人工智能课堂讲稿，171-188（2007）。
摘要：提出了一个用于研究三维几何中的构形定理问题并执行力学定理证明和发现的软件包。它包括问题的准备，包括三个过程：定义配置中的几何对象；通过点对对象声明方法确定假设条件；并确定论文条件。在这项准备工作完成后，基于Groebner Bases和Wu方法的方法可以用于证明论文条件或完成假设条件。齐次坐标用于处理射影问题（尽管也可以处理仿射和欧几里德问题）。开发了该方法的Maple实现。它被用来将一些经典的二维定理推广到三维。
关于整个系列，请参见[Zbl 1132.68006号].

引用于4文件

MSC公司：

68吨15 定理证明（演绎、解析等）（MSC2010）
68单位05 计算机图形；计算几何（数字和算法方面）

软件：

艾司隆;枫树;几何画板;灰姑娘;几何体表达式;JGEX公司;地理1.1;Cabri-几何;三维校准
PDF格式BibTeX公司 XML格式引用
\textit{E.Roanes-Macías}和\textit{E.Loanes-Lozano}，莱克托。注释计算。科学。4869、171--188（2007年；Zbl 1195.68095）
全文： 内政部

参考文献：

[1] Roanes-Macías，E.，Roanes-Lozano，E.：Nuevas-Tecnologías-en-Geometría。《Complutense编辑》，马德里（1994）
[2] Roanes-Lozano，E。；Roanes Macías，E.，用DERIVE 3证明初等几何中的自动定理，国际DERIVE J.，3，2，67-82（1996）
[3] Roanes-Lozano，E.，Roanes-Macías，E.：用导数3证明几何中的机械定理。收录：Bärzel，B.（编辑）用DERIVE和TI-92教授数学。ZKL-Texte Nr.2，波恩，第404-419页（1996）
[4] http://education.ti.com/educationportal/sites/US/productDetail/US_cabri_geometry.html
[5] 网址：http://www.cinderella.de
[6] Kortenkamp，U.：动态几何基础（博士论文）。苏黎世瑞士联邦理工学院（1999）
[7] http://www.acailab.com/english/mathxp.htm（英文）
[8] Fu，H.，Zeng，Z.：一个新的动态几何软件，带有一个证明器和一个解算器。在：2002年访问我的会议记录。维也纳数学教学与技术整合国际研讨会，BK-Teachware，奥地利哈根堡（2002）（CD-ROM）
[9] 网址：http://www-calfor.lip6.fr/王/吉奥/
[10] 王，D。；Winkler，F.，GEOTHER 1.1：几何定理的自动处理和证明，《几何中的自动演绎》（2004），海德堡：施普林格·Zbl 1202.68390号
[11] Wang，D.：Epsilon：多项式消除和分解的软件工具，网址：http://www-calfor.lip6.fr/wang/epsilon公司
[12] 博塔纳，F。；Valcarce，J.L.，几何定理发现的动态符号接口，计算机与教育，38，1-3，21-35（2002）·doi:10.1016/S0360-1315（01）00089-6
[13] 博塔纳，F。；Valcarce，J.L.，平面轨迹研究的软件工具，模拟中的数学和计算机，61，2，141-154（2003）·兹比尔1011.68149 ·doi:10.1016/S0378-4754（02）00173-8
[14] 博塔纳，F。；Valcarce，J.L.，在图形环境中自动确定包络线和其他衍生曲线，《模拟中的数学和计算机》，67，1-2，3-13（2004）·Zbl 1091.68111号 ·doi:10.1016/j.matcom.2004.05.004
[15] Chou，S.C。；Gao，X.S。；张建忠。；医学硕士麦克罗比。；斯莱尼，J.K.，《几何专家导论》，《自动演绎-Cade-13》（1996），海德堡：斯普林格出版社·Zbl 1412.68214号
[16] http://www.mmrc.iss.ac.cn/gex网站/
[17] Chou，S.C.，Gao，X.S.，Ye，Z.：Java几何专家。摘自：《第十届亚洲数学技术会议论文集》，第78-84页（2005）
[18] 网址：http://www.cs.wichita.edu/耶/
[19] Todd，P.：基于约束的交互式符号几何系统。收录：Botana，F.，Roanes Lozano，E.（编辑）ADG 2006。第六届国际几何自动演绎研讨会。《扩展摘要》，西班牙维戈维戈大学，第141-143页（2006年）
[20] Roanes-Lozano，E.，Sobre la colaboracion de sistemas de Geometryía dinámica y deálgebra computational y el nuevo sistema Geometry Expressions，Bol。Soc.Puig Adam，76，72-90（2007年）
[21] http://www.geometryexpressions.com/
[22] Roanes-Lozano，E.，Roanes-Macías，E.：恐龙几何如何补充计算机代数系统（将几何研究与自动定理证明联系起来）。In：程序。第四届国际DERIVE/TI-89/TI-92会议，BK-Teachware，Hagenberg，Austria（2000）（CD-ROM）
[23] Roanes-Lozano，E.：通过合作提高动态几何系统和计算机代数系统的几何可能性（全体会议）。收录：Borovcnick，M.，Kautschitsch，H.（编辑）《数学教学中的技术》。程序。ICTMT-5。奥地利维也纳Schrifrenreihe Didaktik der Mathematik，öbv&hpt，第25卷，第335-348页（2002）
[24] Roanes-Lozano，E。；Roanes-Macías，E。；Villar，M.，《动态几何与计算机代数之间的桥梁》，《数学与计算机建模》，37，9-10，1005-1028（2003）·Zbl 1073.68899号 ·doi:10.1016/S0895-7177（03）00115-8
[25] 匿名，《几何画板用户指南和参考手册》，第3卷。加州伯克利重点课程出版社（1995）
[26] 匿名，《几何画板参考手册》，第4卷。关键课程出版社，加利福尼亚州埃默里维尔（2001）
[27] http://www.keypress.com/x5521.xml
[28] 博塔纳，F。；阿巴纳德斯，医学硕士。；Escribano，J.，《标准动态几何环境的计算轨迹方程》，计算科学-ICCS 2007/CASA 2007研讨会，227-234（2007），海德堡：斯普林格·数字对象标识代码：10.1007/978-3-540-72586-232
[29] http://www.openmath.org网站
[30] http://www.calques3d.org
[31] 博塔纳，F。；斯劳特，P.M.A。；Abramson，D。；Bogdanov，A.V。；戈尔巴乔夫，Y.E。；Dongarra，J.J。；Zomaya，A.Y.，代数曲面作为点轨迹的自动确定，计算科学-ICCS 2003（2003），海德堡：斯普林格
[32] Roanes-Macías，E。；Roanes-Lozano，E。；坎贝尔，J.A。；Roanes-Lozano，E.，几何轨迹的自动确定。Simson-Steiner定理的3D-扩展，人工智能和符号计算，157-173（2001），海德堡：施普林格，海德伯格·Zbl 1042.68129号 ·doi:10.1007/3-540-44990-6_12
[33] 赫斯特内斯，D。；齐格勒，R.，《克利福德代数射影几何》，《应用数学学报》，第23期，第25-63页（1991年）·Zbl 0735.51001号 ·doi:10.1007/BF00046919
[34] Roanes-Macías，E.，Roanes-Lozano，E.：西姆森-斯泰纳-古兹曼国家博物馆的扩建。收录于：Montes，A.（编辑）《6^0 Encentro de Algebra计算与应用学报EACA 2000》，加泰罗尼亚政治大学，巴塞罗那，第331-340页（2000）
[35] Roanes-Macías，E.，Roanes-Lozano，E.：三维几何假设方法的完善。Ceva定理和Menelaus定理的3D-推广。载：Díaz Bánez，J.M.，Márquez，A.，Portillo，J.R.（编辑）塞维利亚塞维利亚大学第20届欧洲计算几何研讨会论文集，第85-88页（2004）
[36] Roanes-Macías，E.，Roanes-Lozano，E.：一种概述3D问题的方法，以便对其进行机械研究。应用于证明Desargues定理的3D-version。收录于：González-Vega，L.，Recio，T.（编辑）《2004年EACA会议录》，西班牙桑坦德坎塔布里亚大学，第237-242页（2004）
[37] Buchberger，B.：寻找零维多项式理想剩余类环基的算法（德语），博士论文。数学。检验。，因斯布鲁克大学，奥地利因斯布鲁克（1965年）·Zbl 1245.13020号
[38] Buchberger，B。；Rice，J.R.，Gröbner基在非线性计算几何中的应用，科学软件的数学方面，59-87（1988），纽约：Springer，纽约·Zbl 0653.13013号
[39] 考克斯·D。；Little，J。；O'Shea，D.，《理想、多样性和算法》（2005），纽约：施普林格出版社，纽约
[40] Wu，W.T.，《初等几何中的决策问题和理论证明的机械化》，A.M.S.当代数学，29213-234（1984）·Zbl 0578.68078号
[41] Wu，W.T.，《几何力学定理证明的一些最新进展》，A.M.S.当代数学，29235-242（1984）·Zbl 0578.68077号
[42] Wu，W.T.，《几何中的力学定理证明》，《符号计算中的文本和专著》（1994），海德堡：施普林格出版社·Zbl 0831.03003号
[43] Chou，S.C.，《机械几何定理证明》（1988），Dordrecht:Reidel，Dordecht·Zbl 0661.14037号
[44] 卡普尔，D。；Mundy，J.L。；卡普尔，D。；Mundy，J.L.，Wu的方法及其在透视中的应用，《几何推理》，15-36（1989），马萨诸塞州剑桥：麻省理工学院出版社·Zbl 0664.68102号
[45] 雷西奥，T。；Vélez，M.P.，《初等几何定理的自动发现》，《自动推理杂志》，23，63-82（1999）·Zbl 0941.03010号 ·doi:10.1023/A:1006135322108
[46] Davis，H.：Menelaus和Ceva定理及其许多应用，http://hamiltonious.virtualave.negt/essays/othe/finalpaper4.htm
[47] de Guzmán，M.，Wallace-Simson定理的推广：任意方向的投影，《数学月刊》，106574-580（1999）·Zbl 1004.51021号 ·doi:10.2307/2589470
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。