Roanes-Lozano,E。;Roanes-Macías,E。;维拉尔·梅纳,M。 动态几何和计算机代数之间的桥梁。 (英语) Zbl 1073.68899号 数学。计算。建模 37,编号9-10,1005-1028(2003). 摘要:计算机代数系统(CAS)和动态几何系统(DGS)都达到了较高的发展水平。一些CAS(如Maple或Derive)包含专门用于欧几里德几何的特定且强大的软件包,但CAS既没有包含鼠标绘图功能,也没有包含动态功能。同时,著名的DGS不提供代数工具。Maple和Derive的paramGeo包和DGS-CAS转换器(均可从作者处免费获得)使您可以使用鼠标(使用几何画板3或4)绘制几何配置,并以Maple或Derive语法获取绘制配置的坐标、方程等。获得复杂的公式、点的坐标或轨迹的方程、执行自动定理证明以及直接从草图中执行自动发现都是直接应用的例子。此外,该策略还可以适用于其他CAS和DGS。这项工作显然在几何问题探索中具有教学应用。然而,它的主要兴趣是在处理规则和指南针几何时提供一种方便、省时的方法来引入数据,其范围比仅用于教育目的更广。 引用于8文件 MSC公司: 68瓦30 符号计算和代数计算 65D18天 计算机图形、图像分析和计算几何的数值方面 68吨15 定理证明(演绎、解析等)(MSC2010) 关键词:计算机代数;动态几何体;自动定理证明;几何轨迹 软件:得到;灰姑娘;可可;数学软件;枫树;AXIOM公司;几何画板;减少;单兵携带防空系统 PDF格式BibTeX公司 XML格式引用 \textit{E.Roanes-Lozano}等人,数学。计算。建模37,编号9--10,1005--1028(2003;Zbl 1073.68899) 全文: 内政部 参考文献: [1] Char,B.W.,Maple V语言参考手册(1991),Springer-Verlag:Springer-Verlag New York·Zbl 0758.68038号 [2] Char,B.W.,Maple V语言库参考手册(1991),Springer-Verlag:Springer-Verlag New York·Zbl 0763.68046号 [3] Corless,R.M.,Essential Maple(1995),Springer-Verlag:Springer-Verlag纽约·兹伯利0813.68069 [4] Heck,A.,《枫叶导论》(1996),《春秋:春秋纽约》·兹比尔0861.65001 [5] 罗恩斯,E.-M。;罗恩斯,E.-L.(Cálculos Matemáticos con Maple,第5卷(1999),鲁比尼奥斯:鲁比尼奥斯·马德里),(西班牙语) [7] Rich,A.,《DERIVE用户手册》(1994),《软仓库:夏威夷州火奴鲁鲁软仓库》 [8] (Kutzler,B.,DERIVE for Windows简介(1996),奥地利 [9] 库兹勒,B。;Kokol-Voljc,V.,DERIVE 5。PC的数学助手(2000),BK:BK奥地利 [11] Wolfram,S.,《数学》。《用计算机做数学的系统》(1991),艾迪生-韦斯利:加利福尼亚州艾迪生-韦斯利红木市·兹伯利0812.68063 [13] MacCallum,M。;Wright,F.,《使用Reduce的代数计算》(1991),克拉伦登出版社:牛津克拉伦登出版公司·Zbl 0755.68015号 [14] Rayna,G.,减少。代数计算软件(1987),Springer-Verlag:Springer-Verlag纽约·Zbl 0642.68060号 [16] Jenks,R.D。;Sutor,R.S.,《公理》。科学计算系统(1992),Springer-Verlag:Springer-Verlag纽约·Zbl 0758.68010号 [19] (《几何画板3用户指南和参考手册》(1995),关键课程:加州伯克利关键课程) [20] (《几何画板4用户指南和参考手册》(2001年),关键课程:关键课程,加利福尼亚州埃默里维尔) [24] Kortenkamp,U.,《动态几何基础》(博士论文(1999),瑞士苏黎世联邦理工学院:瑞士苏黎士联邦理工大学)·兹比尔0898.52009 [30] Recio,T.,Cálculo Simbólico y Geométrico(1998),《西班牙:西班牙马德里》(西班牙语) [33] Valcarce,J.L。;Botana,F.和Lugares。参考手册(2001),维戈大学:维戈大学 [35] 考克斯·D。;Little,J。;O'Shea,D.,《理想、多样性和算法》(1992),Springer-Verlag:Springer-Verlag纽约·Zbl 0756.13017号 [36] Buchberger,B.,Gröbner基在非线性计算几何中的应用,(Rice,J.R.,科学软件的数学方面(1988),Springer-Verlag:Springer-Verlag纽约),59-87·Zbl 0653.13013号 [37] Chou,S.C.,《机械几何定理证明》(1988),Reidel:Reidel Dordrecht·Zbl 0661.14037号 [38] Kreuzer,M。;Robbiano,L.,计算交换代数(2000),Springer-Verlag:Springer-Verlag纽约·Zbl 0956.13008号 [39] 罗恩斯,E.-M。;Roanes,E.-L.,Nuevas Tecnologías en Geometría,《Complutense编辑》(1994),(西班牙语),马德里 [40] 罗恩斯,E.-L。;Roanes,E.-M.,《用DERIVE 3进行初等几何中的自动定理证明》,《国际衍生杂志》,3,2,67-82(1996) [41] 罗恩斯,E.-L。;Roanes,E.-M.,《用导数3证明几何中的机械定理》,(Bärzel),B.,《用微分和TI-92教授数学》。用导数和TI-92教授数学,ZKL文本第2期(1996年),404-419,明斯特 [42] 罗恩斯,E.-L。;Roanes,E.-M.,用迭代法计算几何轨迹,(Coll,N.;Sellarès,J.A.,9EGC Encuntros de GeometríA Computacional2001),热罗那大学:热罗纳大学),147-156 [43] Wen-Tsun,W.,《初等几何中的决策问题和理论证明的机械化》,A.M.S.当代数学,29213-234(1984)·Zbl 0578.68078号 [44] Wen-Tsun,W.,《几何力学理论证明的一些最新进展》,A.M.S.当代数学,29235-242(1984)·Zbl 0578.68077号 [45] 雷西奥,T。;Vélez,M.P.,《初等几何定理的自动发现》,《自动推理杂志》,23,63-82(1999)·Zbl 0941.03010号 [46] 卡普尔,D。;Mundy,J.L.,Wu’s method and its application to perspective viewing,(《几何推理》(1989),麻省理工学院出版社:麻省理学院出版社,马萨诸塞州剑桥),15-36·兹比尔0664.68102 [47] Kapur,D.,《自动几何推理:Dixon结果、Groebner基和特征集》,(Wang,D.,国际几何自动演绎研讨会论文集,LNAI 1360(1998),Springer-Verlag:Springer-Verlag Berlin),13-36·Zbl 0910.03010号 [48] 罗恩斯,E.-M。;Roanes,E.-L.,《几何轨迹的自动确定》。Simson-Steiner定理的三维扩展,(Campbell,J.;Roanes,E.-L.,AISC’2000年会议录。AISC’2000年会议记录,LNAI 1930(2001),SpringerVerlag:SpringerVerlag Berlin),157-173·Zbl 1042.68129号 [51] H.Fu和Z.Zeng,一个新的动态几何软件,带有一个证明器和一个求解器,In2002年VisiT-me会议记录; H.Fu和Z.Zeng,一个新的动态几何软件,带有一个证明器和一个求解器,In2002年VisiT me会议记录 [53] 罗恩斯,E.-L。;罗恩斯,E.-M。;Villar,M.,《从草图中自动获取证据:将几何画板v.3和4与Maple 7和DERIVE 5(2002)链接起来》 [54] E.Roanes-L.、E.Roanes-M.、M.Villar,《将几何画板3和4与DERIVE 5联系起来》,In2002年VisiT-me会议记录; E.Roanes-L.、E.Roanes-M.、M.Villar,《将几何画板3和4与DERIVE 5联系起来》,In2002年VisiT me会议记录 [55] 罗恩斯,E.-L。;Roanes,E.-M.,《动态几何如何补充计算机代数系统(将几何研究与自动定理证明联系起来)》,(第四国际衍生程序/TI-89/TI-92会议,第四国际派生程序/TI-89/TI-92大会,利物浦,2000年7月(2000),BK-Teachware:BK-Techware Austria),(CD-ROM) [56] Roanes,E.-L.,通过合作提高动态几何系统和计算机代数系统的几何可能性,(Borovcnick,M.;Kautschitsch,H.,数学教学技术,ICTMT-5程序。数学教学中的技术,程序。ICTMT-5,Schrifrenreihe Didaktik der Mathematik,第25卷(2002),öbv&hpt:öbv&hpt维也纳),335-348 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。