×

平面轨迹研究的软件工具。 (英语) 兹比尔1011.68149

小结:我们描述了Lugares获得平面轨迹方程和图形的能力。Lugares是一个用Prolog编写的Windows程序,它提供了一个标准的动态几何环境,并使用了CoCoA(一个专门用于Groebner基计算或Mathematica的计算机代数系统)的符号功能。卢加雷斯的主要创新之处在于动态几何范式与几何自动发现的符号方法之间的联系。通过这一环节,卢加雷斯将几何条件规定的几乎所有代数曲线确定为轨迹。

MSC公司:

68单位05 计算机图形;计算几何(数字和算法方面)
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] F.Botana,基于网络的几何发现智能系统,技术报告,维戈大学应用数学系,2002年。;F.Botana,基于网络的几何发现智能系统,维戈大学应用数学系技术报告,2002年·Zbl 1033.68596号
[2] F.Botana,3D-LD:通过网络自动发现3D位点,技术报告,维戈大学应用数学系,2002年。;F.Botana,3D-LD:通过网络自动发现3D位点,技术报告,维戈大学应用数学系,2002年。
[3] F.Botana,J.L.Valcarce,《动态几何环境与计算机代数系统之间的几何发现合作》,收录于:《2001年中国科学院学报》,施普林格,柏林,2001年,第63-74页。;F.Botana,J.L.Valcarce,《动态几何环境与计算机代数系统之间的几何发现合作》,载于《2001年中国科学院学报》,柏林斯普林格出版社,2001年,第63-74页·Zbl 1020.68109号
[4] 博塔纳,F。;Valcarce,J.L.,几何定理发现的动态符号接口,计算。教育。,38, 1-3, 21-35 (2002)
[5] B.Buchberger,Groebner bases:多项式理想理论中的算法方法,见:N.K.Bose(编辑),多维系统理论,Reidel,Dordrecht,1985年,第184-232页。;B.Buchberger,《Groebner bases:多项式理想理论中的算法方法》,载于:N.K.Bose(Ed.),《多维系统理论》,Reidel,Dordrecht,1985年,第184-232页。
[6] A.Capani,G.Niesi,L.Robbiano,CoCoA:在交换代数中进行计算的系统。可通过匿名ftp访问:ftp://cocoa.dima.unige.it网站; A.Capani,G.Niesi,L.Robbiano,CoCoA:在交换代数中进行计算的系统。可通过匿名ftp访问:网址://cocoa.dima.unige.it ·Zbl 0920.68060号
[7] S.C.Chou,用吴氏算法证明初等几何定理,收录于:W.W.Bledsoe,D.W.Loveland(编辑),《自动定理证明:25年后》,AMS,Providence,1984年,第243-286页。;S.C.Chou,使用Wu算法证明初等几何定理,收录于:W.W.Bledsoe,D.W.Loveland(编辑),《自动定理证明:25年后》,AMS,Providence,1984年,第243-286页·Zbl 0578.68079号
[8] X.S.Gao,自动几何图构建和工程几何,收录于:ADG’98会议录,人工智能讲义,第1669卷,施普林格,柏林,1998年,第232-257页。;X.S.Gao,自动几何图构建和工程几何,收录于:《ADG’98会议录》,《人工智能讲义》,第1669卷,柏林斯普林格出版社,1998年,第232-257页。
[9] X.S.Gao,J.Z.Zhang,S.C.Chou,几何专家,九章出版社,台湾,1998年。;X.S.Gao,J.Z.Zhang,S.C.Chou,几何专家,九章出版社,台湾,1998年。
[10] W.Groebner,《现代代数几何对称:理想理论之死》,施普林格,柏林,1949年。;W.Groebner,《现代代数几何对称:理想理论之死》,柏林斯普林格出版社,1949年。
[11] de Guzmán,M.,《Wallace-Simson定理的扩展:在任意方向上投影》,《美国数学》。周一。,106,6574-580(1999年)·Zbl 1004.51021号
[12] N.Jackiw,《几何画板》,关键课程出版社,伯克利,1997年。;N.Jackiw,《几何画板》,关键课程出版社,伯克利,1997年。
[13] Kapur,D.,《几何定理证明的反驳方法》,Artif。智力。,37, 61-94 (1988) ·Zbl 0678.68094号
[14] 卡普尔,D。;Mundy,J.L.,Wu的方法及其在透视中的应用,Artif。智力。,37, 15-36 (1988) ·Zbl 0664.68102号
[15] J.King,D.Schattschneider,《开启几何》,美国数学协会,华盛顿特区,1997年。;J.King,D.Schattschneider,《开启几何》,美国数学协会,华盛顿特区,1997年·Zbl 0876.68108号
[16] U.Kortenkamp,《动态几何基础》,博士论文,ETH,苏黎世,1999年。;U.Kortenkamp,《动态几何基础》,博士论文,苏黎世ETH,1999年。
[17] B.Kuztler,自动化几何定理证明的代数方法,林茨大学博士论文,1988年。;B.Kuztler,自动化几何定理证明的代数方法,林茨大学博士论文,1988年。
[18] J.M.Laborde,F.Bellemain,Cabri Geometry,第二卷,德克萨斯仪器,达拉斯,1998年。;J.M.Laborde,F.Bellemain,Cabri Geometry,第二卷,德克萨斯仪器,达拉斯,1998年。
[19] 雷西奥,T。;Vélez,M.P.,《初等几何定理的自动发现》,J.Autom。原因。,23, 63-82 (1999) ·Zbl 0941.03010号
[20] J.Richter-Gebert,U.Kortenkamp,交互式几何软件灰姑娘,施普林格,柏林,1999年。;J.Richter-Gebert,U.Kortenkamp,《交互式几何软件灰姑娘》,柏林斯普林格出版社,1999年·Zbl 0926.51002号
[21] E.Roanes-Macíñas,E.Roaness-Lozano,几何位置的自动确定。Simson-Steiner定理的三维扩展,见:AISC 2000年会议记录,《人工智能讲义》,第1930卷,施普林格,柏林,2000年,第157-173页。;E.Roanes-Macíñas,E.Roaness-Lozano,几何位置的自动确定。Simson-Steiner定理的三维扩展,载于:《AISC’2000年会议录》,《人工智能讲义》,第1930卷,施普林格,柏林,2000年,第157-173页·Zbl 1042.68129号
[22] I.E.Sutherland,Sketchpad:人机图形通信系统,见:H.Freeman(Ed.),交互式计算机图形教程和选读,IEEE计算机学会,乌得勒支大学,1980年,第2-19页。;I.E.Sutherland,Sketchpad:人机图形通信系统,见:H.Freeman(Ed.),交互式计算机图形教程和选读,IEEE计算机学会,乌得勒支大学,1980年,第2-19页。
[23] J.L.Valcarce,F.Botana,用Prolog开发动态几何环境,技术报告,维戈大学应用数学系,1999年。;J.L.Valcarce,F.Botana,用Prolog开发动态几何环境,技术报告,维戈大学应用数学系,1999年。
[24] W.T.Wu,《几何中的力学定理证明》,施普林格,维也纳,1994年。;W.T.Wu,《几何中的力学定理证明》,施普林格,维也纳,1994年。
[25] Yap,C.K.,《交换Thue系统的新下界及其应用》,J.Symb。计算。,12, 1-28 (1991) ·Zbl 0731.68060号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。