×

交互式文档中的数学上下文。 (英语) Zbl 1205.68489号

摘要:我们介绍了交互式数学文档的概念。我们对这样一份文件进行了正式描述,这使我们能够引入上下文的概念,即关于数学和个人数据的用户和时间相关信息。我们还描述了在埃因霍温理工大学开发的MathDox系统中实现交互式数学文档。

MSC公司:

68平方英寸15 文本处理的计算方法;数学排版
97单位50 计算机辅助教学、电子学习(数学教育方面)
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Caprotti,O.,Cohen,A.M.,Cuypers,H.,Riem,M.N.,Sterk,H.:使用OpenMath服务器分发数学计算。收录于:魏驰,Y.,宋驰,C.,Jen-Chung,C.(编辑)《第五届亚洲数学技术会议论文集》。第325-336页(2000年)
[2] Caprotti,O.,Davenport,J.,Dewar,M.,Padget,J.:(语义)网络上的数学。计算机科学讲义,第3053卷,第213-224页。http://monet.nag.co.uk/monet网站/ (2004)
[3] Chaachoua,H.,Nichaud,J.,Bronner,A.,Bouhineau,D.:APLUSIX,代数学习环境,实际使用和益处。ICME-10会议记录:第十届国际数学教育大会。http://aplusix.imag.fr (2004)
[4] 康奈克辛。网址:http://cnx.org ·Zbl 0060.06204号
[5] Corbalan G.、Cuypers H.、Paas F.:Het Leren van Lineaire代数:有效激励的反馈。Tijdschrift voor Didactiek der{\(\beta\)}-wetenschappen 26(1/2),21–36(2009)
[6] CnXML、ConneXions标记语言。http://cnx.org/aboutus/technology/cnxml
[7] Cohen,A.M.,Cuypers,H.,Barreiro,E.R.:MathDox:网络上的数学文档。In:Kohlhase,M.(编辑)OMDoc:数学文档的开放标记格式。第262–265页(2006年)
[8] Cohen,A.M.,Cuypers,H.,Sterk,H.:代数互动。柏林施普林格。交互式版本正在构建中http://dam02.win.tue.nl/mathadore/ida/bookframe.html (1999) ·Zbl 0940.00001号
[9] Cuypers,H.、Cohen,A.M.、Knopper,J.W.、Verrijzer,R.、Spanbroek,M.:MathDox——交互式数学系统。摘自:《教育多媒体、超媒体和电信世界会议论文集》(EDMEDIA,第5177-5182页)。数学多克斯,http://www.mathdox.org手动,http://www.mathdox.org/player/MathDox公式编辑器,http://mathdox.org/formeditor(公式编辑器)/ (2008)
[10] Dahn,I.:非正式数学知识的管理——从试验解决方案项目中吸取的教训。《数学中的电子信息与通信》,LNCS,第29-43页(2003年)·Zbl 1038.00009号
[11] De Bra,P.,Houben,G.J.,Wu,H.:AHAM:基于Dexter的自适应超媒体参考模型。《第十届ACM超文本和超媒体会议论文集:回归我们的多元化根源》,第147-156页(1999)
[12] De Bra,P.:基于网络的教育超媒体。摘自:Romero,C.,Ventura,S.(编辑)《电子学习中的数据挖掘》,南安普敦WIT出版社,第3-17页(2006年)
[13] 数字数学环境。网址:http://www.fi.uu.nl/dwo
[14] 埃米利亚·斯塔特。网址:http://www.emilea.de
[15] GAP–组、算法、编程–计算离散代数系统。http://www.gap-system.org/gap.html
[16] Gosling,J.、Joy,B.、Steele,G.:《Java语言规范》,第三版。,Addison-Wesley,阅读。http://java.sun.com (2005) ·Zbl 0865.68001号
[17] Halasz,F.,Schwartz,M.:更灵活的超文本参考模型。Commun公司。ACM 37(2),30-39(1994)。http://java.sun.com/products/servlet/
[18] 果冻。http://commons.apache.org/jelly/
[19] 结理论。http://dam02.win.tue.nl/mathadore/nots/
[20] Kohlhase,M.(编辑):OMDoc:数学文档的开放标记格式。柏林施普林格出版社(2006)
[21] Kohlhase,M.,Müller,C.:数学电子学习的语义技术。预印本,JEM第六次研讨会(2009年)
[22] Kohlhase,M.,Müller,C.:Panta Rhei。Wissens-und Erfahrungsmanagement LWA(Lernen,Wissensentdekung und Adaptivität)会议记录,收录于:Alexander,H.(编辑)第318-323页(2007年)
[23] LeActiveMath。http://www.leactivemath.org
[24] 枫叶。http://www.maplesoft.com
[25] MapleTA。http://www.maplesoft.com
[26] 马塔多尔。http://www.mathadore.nl网站
[27] Mathematica,Wolfram Research,Inc.,数学版:7.0版,Wolfram-Research。网址:http://www.wolfram.com (2008)
[28] 数学标记语言(MathML)2.0版。http://www.w3.org/TR/MathML2/
[29] 数学标记语言(MathML)3.0版(提案)。http://www.w3.org/TR/MathML3/
[30] Melis,E.,Siekmann,J.:Activemath:数学智能辅导系统。摘自:《人工智能和软计算国际会议论文集》,第91-101页。网址:http://www.activemath.org ·Zbl 1058.97500号
[31] OpenPath。http://www.openmath.org网站
[32] 奥尔本。网址:http://www.orbeon.com
[33] SAGE公司。http://www.sagemath.org ·Zbl 1312.68206号
[34] SCORM公司。http://www.adnet.gov/Technologies/corm/default.aspx网站
[35] 桑温,C.J.,格罗夫,M.J.:STACK:解决被忽视的学习者的需求。收录于:《首届WebALT会议与展览论文集》,第81–95页(2006年)
[36] Walsh,N.,Muellner,L.:《DocBook:最终指南》,第1版。,塞巴斯托波尔·奥莱利。1999http://www.oasis-open.org/docbook/
[37] Wortel TU/e公司。网址:http://wortel.tue.nl
[38] XForms。http://www.w3.org/MarkUp/Forms网站/
[39] 十一、包括。http://www.w3.org/TR/xinclude/
[40] XPath。网址:http://www.w3.org/TR/xpath/
[41] XQuery。http://www.w3.org/TR/xquery/
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。