×

动态几何中的新动力学:拖动构造的点。 (英语) Zbl 1444.68277号

摘要:动态几何软件(DGS)已经存在了三十多年:它在世界各地的课堂上得到了应用,现在它是数学教育中不可替代的组成部分。从一开始,DGS工具就围绕一个中心场景构建:用户选择几个(自由)点,并使用它们构造一些其他点和其他几何对象。然后,用户可以移动(“拖动”)选定的自由点,并探索构建点和其他构建对象是如何变化的。本文描述了一种新的DGS场景:用户可以移动构造点并探索自由点和构建的对象如何相应地改变。此场景使用解算器解决几何体构造问题。我们在为触摸设备开发的原型工具Touch&Drag中实现了此DGS功能。所提供的功能也可以在其他DGS工具中实现。

理学硕士:

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

参考文献:

[1] Baran,I.,KSEG(2007)
[2] Björck,A.,最小二乘问题的数值方法(1996),SIAM·Zbl 0847.65023号
[3] 博塔纳,F。;霍恩瓦特,M。;贾尼奇,P。;科瓦奇,Z。;彼得罗维奇,I。;雷西奥,T。;Weitzhofer,S.,《GeoGebra中的自动定理证明:当前成就》,J.Autom。原因。,55, 1, 39-59 (2015) ·Zbl 1356.68181号
[4] Cheema,S。;Gulwani,S。;LaViola,J.J.,《快速绘制:改进几何图形的绘制经验》,(计算机系统中的人为因素会议,CHI'12(2012)),1037-1064
[5] 陈,X。;Wang,D.,从图表图像自动生成几何定理,《数学年鉴》。Artif公司。智力。,74, 333-358 (2015) ·Zbl 1330.68263号
[6] 周,S.-C。;高X.S。;Zhang,J.-Z.,《几何中的机器证明》(1994),《世界科学:世界科学新加坡》
[7] Connelly,H.,三角形结构从定位点的延伸,Forum Geom。,9, 109-112 (2009) ·Zbl 1168.51302号
[8] 埃曼,M。;Gerhäuser,M。;米勒,C。;Wassermann,A.,《草图测量和jsxgraph:移动设备的动态几何》,《南波西米亚数学》。莱特。,2013年1月21日至7日
[9] 费尔南德斯,H。;杜卡斯,S。;Carron,T.,DR.GEO II:在交互式动态几何中添加交互平面,(第五届通过计算创建、连接和协作国际会议),IEEE计算机学会:日本IEEE计算机协会,153-162
[10] 霍恩瓦特,M。;Fuchs,K.,软件系统geogebra中动态几何、代数和微积分的结合,(2004年数学教学会议中的计算机代数系统和动态几何系统,匈牙利佩茨(2004)),128-133
[11] 杰基夫,N.,《几何画板v4.0》(2001),关键课程出版社:关键课程出版社埃默里维尔
[12] Janićić,P.,GCLC——一种用于构造欧几里德几何及其以上的工具(国际数学软件大会论文集(ICMS 2006))。国际数学软件大会论文集(ICMS 2006),计算机科学讲义,第4151卷(2006),斯普林格-Verlag),58-73·Zbl 1230.51024号
[13] Janićić,P.,《几何构造语言》,J.Autom。原因。,44, 1-2, 3-24 (2010) ·Zbl 1185.68626号
[14] Janičić,P。;Quaresma,P.,系统描述:GCLCrover+GeoThms,(国际自动推理联合会议(IJCAR-2006)。国际自动推理联合会议(IJCAR-2006),《人工智能讲义》,第4130卷(2006年),斯普林格-Verlag),145-150
[15] Kapur,D.,《使用Gröbner基来推理几何问题》,J.Symb。计算。,2, 4, 399-408 (1986) ·Zbl 0629.68087号
[16] Kortenkamp,U.,《动态几何基础》(1999),苏黎世联邦理工学院博士论文
[17] 拉博德,J.-M。;Strasser,R.,《Cabri-géométre:引导发现学习的几何微观世界》,Zent.bl.Didact。材料,22,5,171-177(1990)
[18] Marić,F。;彼得罗维奇,I。;彼得罗维奇,D。;Janićić,P.,《几何中代数方法的形式化和实现》,(教育软件CTP组件第一次研讨会论文集,教育软件CTP组件第一次会议论文集,理论计算机科学电子论文集,第79卷(2012年),开放出版协会),63-81
[19] Marinković,V.,带自动生成解决方案的三角形构造问题在线概要,教学。数学。,十八、 1、29-44(2015)
[20] Marinković,V.,ArgoTriCS-自动三角形构造求解器,J.Exp.Theor。Artif公司。智力。,29, 2, 247-271 (2017)
[21] Marinković,V。;Janićić,P.,《理解三角形构造问题》(智能计算机数学-CICM 2012)。智能计算机数学-CICM 2012,计算机科学讲义,第7362卷(2012),Springer),126-141·Zbl 1359.68265号
[22] Marinković,V。;贾尼奇,P。;Schreck,P.,《可验证解决几何构造问题的计算机定理证明》,(《几何中的自动演绎》(2015),施普林格国际出版社),72-93·Zbl 1434.03032号
[23] Obrecht,C.和Eukleides(2010年)
[24] 普林森,J。;伊林沃思,J。;Kittler,J.,《霍夫变换的形式化定义:属性和关系》,J.Math。成像视觉。,153-168年1月2日(1992年)
[25] Richter-Gebert,J。;Kortenkamp,U.,《灰姑娘——交互式几何软件》(1999),斯普林格出版社·Zbl 0926.51002号
[26] Schreck,P。;Mathis,P.,Wernick列表中问题的RC-可构造性,(第十届几何自动演绎国际研讨会论文集(ADG 2014)(2014)),85-104,CISUC技术报告TR 2014/01,哥印布拉大学
[27] Schreck,P。;Mathis,P.,《联合使用几何和代数来确定RC-可构造性》,J.Symb。计算。,9124-148(2019)·Zbl 1395.68352号
[28] Šukilović,T.,基于曲率的形状检测,计算。地理。,48, 180-188 (2015) ·Zbl 1304.65109号
[29] Wernick,W.,《带三个定位点的三角形构造》,数学。Mag.,55,4,227-230(1982)·Zbl 0497.51016号
[30] Wu,W.-T.,《初等几何中的决策问题和定理证明的机械化》,科学。罪。,21, 157-179 (1978)
[31] Yerushalmy,M。;Houde,R.A.,《几何教授:促进思考和学习》,数学。教学。,79, 6, 418-422 (1986)
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。