×

面向智能和动态几何书籍。 (英语) Zbl 1425.97002号

总结:追求智能动态几何书应包括研究如何将当前发展中的几何知识表示、管理、演绎和发现的方法和技术有效地融入未来的教育中。正如多伦·齐尔伯格在从未来下载的Shalosh B.Ekhad XIV(约2050年)的《平面几何:基础教科书》中指出,http://sites.math.rutgers.edu/~zeilberg/PG/nis.html]未来的几何书将是一个计算机程序,其中所有定理都可以由计算机自动发现(当然也可以证明),漂亮的插图可以自动生成并动态修改。这种前景促使人们研究如何在计算机上表示和管理数字化的几何知识。未来的几何书(mathcal{I})nt(mathcal{D})yn(mathcali{G})eo(mathcal{B})ook)应该是适应性、协作性、可视性和智能性的。适应性,因为内容应该适应课程和读者。它将允许合作工作,其内容将使用开放供贡献的知识库进行合作形成。陈述和证明应通过动态几何草图和图表进行,并且应通过计算机检查确保证明的正确性。这本书将是智能的,读者应该能够提出封闭或开放的问题,也可以作为证据提示。该书还应提供自动更正的交互式练习。这样一个该平台可在所有标准计算平台和设备中免费使用,具有协作性,适合每个用户的个人资料,应该将新一代数学工具汇集在一起,对各级教育产生影响。为了实现这本书,必须建立一个专家网络,增加几个研究团体之间的联系,例如:数学知识管理;计算机定理证明与发现;教育,聚合以下领域的专业知识学习环境中的校对;界面和搜索;工具集成;云中的学习环境在本文中,作者试图为这种努力提供理由。

理学硕士:

97单位50 计算机辅助教学、电子学习(数学教育方面)
68T05型 人工智能中的学习和自适应系统
68吨15 定理证明(演绎、解析等)(MSC2010)
68立方英尺 知识表示
97G10型 几何教育综合作品
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Aleven,V。;波佩斯库,O。;科丁格,韩国;Moore,JD(编辑);雷德菲尔德,CL(编辑);Johnson,WL(编辑),Towards tutorial dialog to support self-explanation:adding natural language understanding to a cognitive tutors,246-255(2001),阿姆斯特丹
[2] Balacheff,N.、Caferra,R.、Cerulli,M.、Gaudin,N.,Marachi,M.,Mariotti,M.A.、Muller,J.P.、Nicaud,J.F.、Occello,M.和Olivero,F.、Peltier,N.和Pesty,S.、Soury-Lavergne,S.和Sutherland,R.,Trgalova,J.、Webber,C.:巴赫拉评估项目,设计混合型和新兴教育社会。技术代表81,莱布尼茨图像实验室(2003)
[3] Bertot,Y.、Guilhot,F.、Pottier,L.:使用GeoView可视化几何陈述。电子。注释Theor。计算。科学。103, 49-65 (2004)
[4] Bokhove,C.,Jones,K.,Charlton,P.,Mavrikis,M.,Geraniou,E.:创作自己的创造性数学电子书:mc-squared项目(2014年7月)(ICMT-2014)。http://eprints.soton.ac.uk/367609/
[5] Botana,F.、Hohenwarter,M.、Janić,P.、Kovács,Z.、Petrović,i.、Recio,T.、Weitzhofer,S.:地理代数中的自动定理证明:当前成就。J.汽车。原因。55(1),39-59(2015)。doi:10.1007/s10817-015-9326-4·Zbl 1356.68181号
[6] Botana,F.,Quaresma,P.(编辑):《几何中的自动演绎:2014年ADG第十届国际研讨会》,科英布拉,2014年7月9日至11日,修订论文集。计算机科学课堂讲稿,第9201卷,第119-128页。查姆施普林格(2015)
[7] Boutry,P.,Braun,G.,Narboux,J.:从塔斯基到笛卡尔:欧几里德几何算术化的形式化。摘自:Davenport,J.H.,Ghorabi,F.(eds.)SCSS 2016,第七届软件科学符号计算国际研讨会。EPiC计算机系列,第39卷,第15页。EasyChair,东京(2016年3月)。https://hal.archives-ouvertes.fr/hal-01282550 ·Zbl 1394.68349号
[8] Boutry,P.、Narboux,J.、Schreck,P.和Braun,G.:使用小规模自动化来提高几何形式证明的可访问性和可读性。摘自:Botana,F.,Quaresma,P.(eds.)第十届几何自动演绎国际研讨会(ADG 2014)初步会议记录,2014年7月9日至11日,葡萄牙科英布拉大学。CISUC技术报告,第2014/01号,第31-50页。CISUC(2014)·Zbl 1131.68094号
[9] Braun,G.,Boutry,P.,Narboux,J.:从希尔伯特到塔斯基。第十一届几何自动演绎国际研讨会。ADG 2016会议记录,第19页。斯特拉斯堡(2016年6月)。https://hal.inia.fr/hal-01332044 ·兹比尔1397.03019
[10] Braun,G.,Narboux,J.:从塔斯基到希尔伯特。In:Ida,T.,Fleuriot,J.(编辑)《几何中的自动演绎》,《计算机科学讲义》,第7993卷,第89-109页。施普林格,柏林(2013)。数字对象标识代码:10.1007/978-3-642-40672-07·Zbl 1397.03019号
[11] Braun,G.,Narboux,J.:塔斯基几何中帕普斯定理的综合证明。J.汽车。原因。23(2016年4月)。https://hal.inia.fr/hal-01176508 ·Zbl 1405.03034号
[12] 陈,X。;李伟(Li,W.)。;罗,J。;王,D。;JA坎贝尔(编辑);Carette,J.(编辑);Reis,GD(编辑);Sojka,P.(编辑);Wenzel,M.(编辑);Sorge,V.(编辑),《开放几何教科书:通过集体智慧获取知识的案例研究》,第7362、432-437号(2012),柏林·兹比尔1360.68804
[13] 陈曦:电子几何教材:一个几何教材知识管理系统。作者:Autexier,S.、Calmet,J.、Delahaye,D.、Ion,P.、Rideau,L.、Rioboo,R.、Sexton,A.(编辑)智能计算机数学。第278-292页。计算机科学讲义第6167号。柏林施普林格出版社(2010年)
[14] Chen,X.:几何语句的表示和自动转换。J.系统。科学。复杂。27(2), 382-412 (2014). doi:10.1007/s11424-014-0316-0·Zbl 1314.68301号
[15] Chen,X.,Wang,D.:教科书中几何知识的管理。数据知识。《工程》73,43-57(2012)。http://www.sciencedirect.com/science/article/pii/S0169023X11001431
[16] Chou,S.:用吴的方法证明和发现几何定理。德克萨斯大学奥斯汀分校博士论文(1985年)·Zbl 0629.68087号
[17] Chou,S.C.,Gao,X.S.,Zhang,J.Z.:110个几何定理及其使用全角度的机器生成证明的集合。威奇托州立大学计算机科学系技术代表TR-94-4(1994年11月)
[18] Chou,S.C.,Gao,X.S.,Zhang,J.Z.:具有几何不变量的可读证明的自动生成,I.多重和最短证明生成。J.汽车。原因。17(13),325-347(1996)·Zbl 0865.68109号
[19] Chou,S.C.,Gao,X.S.,Zhang,J.Z.:具有几何不变量的可读证明的自动生成,II。用全角度证明定理。J.汽车。原因。17(13), 349-370 (1996) ·Zbl 0865.68110号
[20] Chrysafiadi,K.,Virvou,M.:学生建模方法:过去十年的文献综述。专家系统。申请。40(11), 4715-4729 (2013). http://www.sciencedirect.com/science/article/pii/S095741741300122X
[21] Cobo,P.,Fortuny,J.,Puertas,E.,Richard,P.:AgentGeom:几何证明问题教学支持的多智能体系统。国际期刊计算。数学。学习。12, 57-79 (2007). doi:10.1007/s10758-007-9111-5
[22] Cueli,M.,González-Castro,P.,Krawec,J.,Nüñez,J.C.,Gonz-lez-Pienda,J.A.:Hipatia:数学超媒体学习环境。安·普西科尔。安,心理医生。32(1),98-105(2015)。http://revistas.um.es/analesps/article/view/analesps.32.185641
[23] Fuchs,L.,Théry,L.:COQ中Grassmann-Cayley代数的形式化及其在射影几何定理证明中的应用。收录:Schreck,P.、Narboux,J.、Richter-Gebert,J.(编辑)《几何中的自动演绎》。计算机科学讲义,第6877卷,第51-67页。柏林施普林格(2011)。doi:10.1007/978-3-319-21362-0·Zbl 1350.68233号
[24] Gillies,R.M.:构建课堂合作小组工作。国际教育杂志。第39(1-2)号决议,35-49(2003)。http://www.sciencedirect.com/science/article/pii/S0883035503000727 ·Zbl 1314.68301号
[25] Génevaux,J.D.,Narboux,J.,Schreck,P.:吴的简单方法在coq中的形式化。收录于:Jouannaud,J.P.,Shao,Z.(编辑)《认证程序和证明》,《计算机科学讲义》,第7086卷,第71-86页。柏林施普林格(2011)。doi:10.1007/978-3642-25379-98·Zbl 1350.68234号
[26] Grégoire,B.,Pottier,L.,Théry,L.:代数证明证书及其在自动几何定理证明中的应用。摘自:几何自动演绎国际研讨会,第42-59页。施普林格(2008)·Zbl 1302.68242号
[27] Haralambous,Y.,Quaresma,P.:使用受控语言、本体论图和依赖格查询几何图形。收录于:S.W.等人(编辑)CICM 2014。LNAI,第8543卷,第298-311页。斯普林格(2014)·Zbl 1304.68170号
[28] Ida,T.、Kasem,A.、Ghorabi,F.、Takahashi,H.:重新审视莫利定理:折纸构造和自动证明。J.赛姆布。计算。46(5), 571-583 (2011). http://www.sciencedirect.com/science/article/pii/S07477110001768 ·兹比尔1211.51011
[29] Janićić,P.:GCLC——一种用于构造欧几里德几何的工具,而且不止如此。收录于:Iglesias,A.,Takayama,N.(编辑)数学软件-ICMS 2006,计算机科学课堂讲稿,第4151卷,第58-73页。斯普林格(2006)·Zbl 1230.51024号
[30] Janićić,P.,Narboux,J.,Quaresma,P.:面积法:概述。J.汽车。原因。48(4), 489-532 (2012) ·Zbl 1242.68281号
[31] Janičić,P.,Quaresma,P.:系统描述:GCLCprover+GeoThms。收录于:Furbach,U.,Shankar,N.(编辑)《自动推理》,《计算机科学讲义》,第4130卷,第145-150页。斯普林格(2006)
[32] 江,J.,张,J.:几何定理可读机器证明的回顾与展望。J.系统。科学。复杂。25(4), 802-820 (2012). doi:10.1007/s11424-012-2048-3·Zbl 1291.68351号
[33] Kapur,D.:使用Gröbner基来推理几何问题。J.赛姆布。计算。2(4), 399-408 (1986) ·Zbl 0629.68087号
[34] Kortenkamp,U.、Blessing,A.M.、Dohrmann,C.、Kreis,Y.、Libbrecht,P.、Mercat,C.:欧洲第一个技术和教育成果的可互操作交互式几何以及intergeo项目的未来挑战。纳入:CERME 6(2006)
[35] Kortenkamp,U.、Dohrmann,C.、Kreis,Y.、Dording,C.、Libbrecht,P.、Mercat,C.:使用intergeo平台进行教学和研究。摘自:第九届国际数学教学技术会议(ICTMT-9)(2009)·Zbl 1131.68094号
[36] Kovács,Z.:GeoGebra 5中的关系工具,第53-71页。施普林格国际出版公司(2015)。doi:10.1007/978-3-319-21362-04·Zbl 1434.97015号
[37] 李,H。;Gao,XS(编辑);Wang,D.(编辑),机械几何定理证明的Clifford代数方法,205-299(2000),圣地亚哥
[38] Lin,F.L.,Hsieh,F.J.,Hanna,G.,de Villiers,M.(编辑):国际数学研究所第19次会议论文集:数学教育中的证明与证明,第一卷。国立台湾师范大学数学系(2009)
[39] Lin,F.L.,Hsieh,F.J.,Hanna,G.,de Villiers,M.(编辑):ICMI研究19会议记录:数学教育中的证明与证明,第2卷。国立台湾师范大学数学系(2009)
[40] Luengo,V.:教育软件设计中的一些教学和认识论考虑:Cabri-Eucide示例。国际期刊计算。数学。学习。10(1), 1-29 (2005). https://hal.archives-ouvertes.fr/hal-00961977年
[41] Magaud,N.,Narboux,J.,Schreck,P.:使用秩形式化coq中的desargues定理。在:Shin,S.Y.,Ossowski,S.(编辑)SAC,第1110-1115页。ACM(2009)·Zbl 1248.68449号
[42] Marinković,V.:Argotrics-自动三角形构造求解器。J.实验理论。Artif公司。因特尔。0(0), 1-25 (2016). doi:10.1080/0952813X.2015.1132271
[43] Marinković,V.,Janić,P.,Schreck,P.:几何构造问题可验证解决的计算机定理证明,第72-93页。施普林格国际出版公司(2015)。doi:10.1007/978-3-319-21362-0_5·Zbl 1434.03032号
[44] Martins,C.、Couto,P.、Fernandes,M.、Bastos,C.、Lobo,C.、Faria,L.、Carrapatoso,E.:PCMAT-数学协作学习平台,第93-100页。柏林施普林格(2011)。doi:10.1007/978-3-642-19917-2_12
[45] Matsuda,N.,Vanlehn,K.:Gramy:一个能够构建的几何定理证明器。J.汽车。原因。32, 3-33 (2004)
[46] Matsuda,N.,Van Lehn,K.:高级几何导师:一名智能导师,教授用结构进行校对。摘自:《教育中的人工智能——通过智能和社会信息技术支持学习》,第十二届国际教育人工智能会议论文集,AIED 2005,第443-450页,阿姆斯特丹(2005年7月18日至22日)·Zbl 0865.68110号
[47] Mendicino,M.,Razzaq,L.,Heffernan,N.T.:传统家庭作业与计算机支持家庭作业的比较。《科技期刊》。教育。41(3), 331-359 (2009)
[48] Monaghan,J.,Trouche,L.,Borwein,J.:工具与数学。施普林格国际出版公司,柏林(2016)
[49] Moraes,T.G.,Santoro,F.M.,Borges,M.R.:Tabulñ:学习几何的教育群件。2005年IEEE第五届高级学习技术国际会议。ICALT 2005,第750-754页(2005年7月)·Zbl 1291.68351号
[50] Moriyón,R.,Saiz,F.,Mora,M.:GeoThink:引导式几何协作学习的环境,Nuevas Ideas en Informática Educativa,第4卷,第200-2008页。J.Sánchez(ed),智利圣地亚哥(2008)
[51] Narboux,J.:几何在coq中的决策过程。In:Slind Konrad,Bunker Annette,G.G.C.(编辑)《高阶逻辑中的定理证明》,2004年。第3223卷,第225-240页。斯普林格,公园城(2004年7月)。https://hal.inia.fr/inia-00001035 ·Zbl 1099.68734号
[52] Narboux,J.:塔斯基几何中的机械定理证明。摘自:Eugenio Roanes Lozano,F.B.(编辑)《几何中的自动演绎》,2006年。第4869卷,第139-156页。Francisco Botana,Springer,Pontevedra(2006年8月)。https://hal.inia.fr/inia-00118812 ·Zbl 1195.03019号
[53] Narboux,J.:几何形式证明的图形用户界面。J.汽车。原因。39, 161-180 (2007) ·Zbl 1131.68094号
[54] Narboux,J.:塔斯基几何中的机械定理证明。在:《几何自动推导程序集》06。《人工智能课堂讲稿》,第4869卷,第139-156页。施普林格(2007)·Zbl 1195.03019号
[55] Quaresma,P.、Janić,P.,Tomašević,J.、Vujoševi-Janičic,M.、Tošić、D.:《数字时代的通信数学》,第XML章——几何构造和证明描述的数据库格式,第183-197页。A.K.Peters有限公司(2008)
[56] Quaresma,P.:几何定理证明器(TGTP)的数千个几何问题。收录于:Schreck,P.,Narboux,J.,Richter-Gebert,J.(编辑)《几何中的自动演绎》,《计算机科学讲义》,第6877卷,第169-181页。施普林格(2011)·Zbl 1350.68243号
[57] Quaresma,P.,Baeta,N.:I2GATP通用格式的当前状态。收录于:Botana,F.,Quaresma,P.(编辑)《几何中的自动演绎:第十届国际研讨会》,ADG 2014,Coimbra,2014年7月9日至11日,修订论文集。计算机科学课堂讲稿,第9201卷,第119-128页。查姆施普林格(2015)·Zbl 1434.68643号
[58] Quaresma,P.、Santos,V.、Bouallegue,S.:网络几何实验室项目。致:CICM 2013。LNAI,第7961卷,第364-368页。施普林格(2013)·Zbl 1390.97006号
[59] Richard,P.,Fortuny,J.:二年级数学课堂上的辩论能力辅导。安。说教者。科学。科尼特。12, 83-116 (2007)
[60] Richard,P.,Fortuny,J.,Hohenwarter,M.,Gagnon,M.:GeogebraTUTOR:新方法,根据第二次评估结果进行调整。收录:Bastiaens,T.、Carliner,S.(编辑)《E-Learn:2007年企业、政府、医疗和高等教育中的E-Learning世界会议论文集》。第428-435号,教育计算促进协会(AACE),切萨皮克(2007)
[61] Richter-Gebert,J.,Kortenkamp,U.:交互式几何软件灰姑娘。柏林施普林格(1999)·Zbl 0926.51002号
[62] Santiago,E.,Hendriks,M.,Kreis,Y.,Kortenkamp,U.,Marquès,D.:i2g通用文件格式最终版本。技术代表D3.10,Intergeo Consortium(2010)。http://i2geo.net/xwiki/bin/view/I2G格式/ ·Zbl 1356.68181号
[63] Santos,V.、Quaresma,P.、Campos,H.、Marić,M.:网络几何实验室:葡萄牙和塞尔维亚的案例研究。摘自:交互式学习环境,第1-19页(2016年12月)(在线)。doi:10.1080/10494820.2016.1258715·Zbl 0855.68086号
[64] Shute,V.,Psotka,J.:《教育通信与技术研究手册》,第1版,第570-600页。教育通信与技术协会(2001年)
[65] Sinclair,N.,Bartolini Bussi,M.G.,de Villiers,M.,Jones,K.,Kortenkamp,U.,Leung,A.,Owens,K.:几何教育的最新研究:ICME-13调查小组报告。ZDM数学。教育。48(5), 691-719 (2016). doi:10.1007/s11858-016-0796-6
[66] Stojanović,S.,Narboux,J.,Bezem,M.,Janić,P.:连贯逻辑的方言。摘自:Watt,S.、Davenport,J.、Sexton,A.、Sojka,P.、Urban,J.(编辑)《智能计算机数学》,《计算机科学讲义》,第8543卷,第388-403页。施普林格国际出版公司(2014)。数字对象标识代码:10.1007/978-3-319-08434-3_28·Zbl 1304.68163号
[67] Stojanovic,S.,Pavlovic,V.,Janicic,P.:一种基于连贯逻辑的几何定理证明程序,能够生成形式化且可读的证明。收录于:Schreck,P.、Narboux,J.、Richter-Gebert,J.(编辑)《几何中的自动演绎》,第201-220页。施普林格,柏林,海德堡(2010)·Zbl 1252.68264号
[68] Summers,J.、Beretvas,S.、Svinicki,M.、Gorin,J.:评估协作学习和社区。J.Exp.教育。73, 165-188 (2005)
[69] Triantafillou,E.,Pomportsis,A.,Demetriadis,S.:基于认知风格的适应性教育系统的设计和形成性评估。计算。教育。41(1), 87-103 (2003). http://www.sciencedirect.com/science/article/pii/S036013103000319
[70] 王,D。;Pfalzgraf,J.(编辑);Wang,D.(编辑),用消元法推理几何问题,147-185(1995),纽约·兹比尔0855.68086
[71] Wang,D.,Chen,X.,An,W.,Jiang,L.,Song,D.:Opengeo:开放的几何知识库。摘自:Hong,H.,Yap,C.(编辑)数学软件-ICMS 2014,《计算机科学讲义》,第8592卷,第240-245页。柏林施普林格(2014)。doi:10.1007/978-3-662-44199-2_38·Zbl 1434.68665号
[72] Wang,K.,Su,Z.:用于人类可读证明的自动几何定理证明。摘自:《第24届国际人工智能会议记录》,第1193-1199页。IJCAI’15,AAAI出版社(2015)。http://dl.acm.org/citation.cfm?id=2832249.2832414 ·Zbl 1242.68281号
[73] Wu,W.:《自动定理证明:25年后》,第29卷,第1章,《初等几何中定理证明的决策问题和机械化》,第213-234页。美国数学学会(1984)
[74] Ye,Z.,Chou,S.C.,Gao,X.S.:java几何专家简介。收录于:Sturm,T.,Zengler,C.(编辑)《几何中的自动演绎》,《计算机科学讲义》,第6301卷,第189-195页。柏林施普林格(2011)。doi:10.1007/978-3642-21046-4_10,jGEX·兹比尔1302.68247
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。