贾纳·吉塞瓦；克里斯托夫·兰格；弗洛里安·拉贝 将web服务集成到活动数学文档中。 （英语） Zbl 1247.68314号 Carette，Jacques（编辑）等人，《智能计算机数学》。2009年7月6日至12日，作为CICM 2009的一部分，在加拿大大本德举行了2009年第16届Calculemus研讨会，2009年第8届MKM国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02613-3/pbk）。计算机科学课程讲稿5625。人工智能课堂讲稿，279-293（2009）。 摘要：活跃的数学文档与传统的纸质文档的区别在于它们能够交互式地适应读者的输入。这包括对文档内容的呈现方式以及该内容本身的更改。我们已经开发了JOBAD体系结构，这是一种用于活动数学文档的客户机/服务器基础结构。服务器端模块生成活动文档，客户端JavaScript库使其可用于用户交互。其他服务器端模块（在同一后端或分布式web服务中）动态响应用户与客户端交互时调用的回调。这三个组件通过JOBAD活动文档格式联系在一起，后者通过有关交互性的信息向后兼容地增强了MathML。JOBAD设计为在提供的特定web服务中模块化。作为示例，我们介绍了数学表达式中的折叠和省略、符号的类型和定义查找以及物理单位的转换。我们通过一个案例研究来评估我们的框架，其中大量的课堂讲稿被用作活动文档。关于整个系列，请参见[Zbl 1165.68005号]. 引用于5文件 MSC公司： 68单位35 信息系统的计算方法（超文本导航、接口、决策支持等） 软件：JavaScript脚本；OMDoc公司；TNT基地；数学Web搜索；数学多克斯；动态数学；乳胶；sTeX公司 PDF格式BibTeX公司 XML格式引用 \textit｛J.Giceva｝等人，Lect。注释计算。科学。5625279--293（2009年；Zbl 1247.68314） 全文： DOI程序 参考文献： [1] Adida，B.，Birbeck，M.，McCarron，S.，Pemberton，S.：XHTML中的RDFa:语法和处理。W3C（2008）建议 [2] Autexier，S.、Campbell，J.、Rubio，J.，Sorge，V.、Suzuki，M.、Wiedijk，F.（编辑）：AISC 2008、Calculemus 2008和MKM 2008。LNCS（LNAI），第5144卷。施普林格，海德堡（2008）·Zbl 1154.68002号 [3] ActiveMath（2008），网址：http://www.activemath.org/ [4] Ankolekar，A.，Krötzsch，M.，Tran，T.，Vrandečić，D.：两种文化：Mashing up Web2.0和Semantic Web。Web语义6（1）（2008）·Zbl 05461286号 ·doi:10.1016/j.websem.2007.11.005 [5] Bradner，S.：RFC中用于指示需求级别的关键字。RFC 2119，互联网工程任务组（1997） [6] Cohen，A.M.，Cuypers，H.，Jibetean，D.，Spanbroek，M.：互动学习和数学微积分。收录：Kohlhase，M.（编辑）MKM 2005。LNCS（LNAI），第3863卷，第330–345页。斯普林格，海德堡（2006）·Zbl 1151.97301号 ·doi:10.1007/11618027_22 [7] Cuypers，H.，Cohen，A.M.，Knopper，J.W.，Verrijzer，R.，Spanbroek，M.：MathDox，交互式数学系统。收录：教育多媒体、超媒体和电信世界会议论文集。AACE（2008） [8] Davenport，J.H.，Naylor，W.A.：OpenMath中的单位和维度（2003），http://www.openmath.org/documents/Units.pdf [9] Fielding，R.T.：架构风格和基于网络的软件架构设计。加州大学欧文分校博士论文（2000年） [10] Gerdes，A.、Heeren，B.、Jeuring，J.、Sturman，S.：针对运动助理的反馈服务。UU-CS-2008-018技术报告，乌得勒支大学（2008） [11] Giceva，J.：使用OMDoc和SALT捕捉数学文档中的修辞方面。技术报告，雅各布斯大学，DERI Galway（2008），https://svn.kwarc.info/repos/supervision/intern/2008/giceva_jana/project/pirtuality [12] Goguadze，G.，Melis，E.：动态数学练习中的反馈。参加：国际数学教育会议（ICME）（2008） [13] https://jomdoc.omdoc.org/wiki/JOBAD (2009) [14] Kohlhase，M.，Anca，ö。，Jucovschi，C.，González Palomo，A.，öucan，I.A.：MathWebSearch 0.4，数学语义搜索引擎（2008年手稿），http://mathweb.org/projects/mws/pubs/mkm08.pdf [15] Kohlhase，M.、Lange，C.、Muller，C.、Müller，N.、Rabe，F.：现行文件的注释。《2009年1月KWARC报告》，雅各布斯大学（2009），http://kwarc.info/publications/papers/KLMMR_NfAD.pdf ·Zbl 1166.00304号 [16] 科尔哈斯，M.，米勒，C.，米勒，N.：具有灵活符号上下文作为数学知识接口的文档。收录：Libbrecht，P.（编辑）数学用户界面研讨会（2007年） [17] Kohlhase，M.，Müller，C.，Rabe，F.：活生生的数学文献的符号。In:Autexier等人（编辑）[ACR+08]·Zbl 1166.00304号 ·doi:10.1007/978-3-540-85110-3_41 [18] Kohlhase，M.:OMDoc–数学文档的开放标记格式[版本1.2]。LNCS（LNAI），第4180卷。斯普林格，海德堡（2006）·doi:10.1007/111826095 [19] Kohlhase，M.：使用LaTex作为语义标记格式。计算机科学中的数学（2008）·Zbl 1176.68230号 [20] Lange，C.：SWiM——数学知识管理的语义维基。收录人：Bechhofer，S.、Hauswirth，M.、Hoffmann，J.、Koubarakis，M.（编辑）ESWC 2008。LNCS，第5021卷，第832-837页。施普林格，海德堡（2008）·Zbl 05281311号 ·doi:10.1007/978-3-540-68234-9_68 [21] Lange，C.：开放数学维基（2009），网址：http://wiki.openmath.org [22] Lange，C.，González Palomo，A.：使用SWiM轻松编辑和浏览复杂的OpenPath标记。收录：Libbrecht，P.（编辑）数学用户界面研讨会（2008年），网址：http://www.activemath.org/保罗/马修08 [23] Melis，E.，Goguadze，G.，Homik，M.，Libbrecht，P.，Ullrich，C.，Winterstein，S.：activemath的语义软件组件和服务。《英国教育技术杂志》37（3）（2006）·Zbl 05326911号 ·doi:10.1111/j.1467-8535.2006.013.x [24] MONET（2005年3月），http://monet.nag.co.uk/mkm网站 [25] Mozilla实验室。普及（2009），http://ubiquity.mozilla.com [26] O'Reilly，T.：什么是Web 2.0（2005），http://www.oreillynet.com/pub/a/oreilly/tim/news/2005/09/30/what-is-web-20.html [27] panta rhei项目（2009年3月），http://trac.kwarc.info/panta-rhei [28] Rabe，F.，Kohlhase，M.：模块化知识的交换格式。收录：Rudnicki，P.，Sutcliffe，G.（编辑）《知识交流：自动校对员和证明助理》（KEAPPA）（2008年11月） [29] SCIEnce项目——欧洲符号计算基础设施[在线]（2009） [30] Stratford，J.、Davenport，J.H.：单位知识管理。In:Autexier等人（编辑）[ACR+08]·Zbl 1166.68360号 ·doi:10.1007/978-3-540-85110-3_33 [31] Stratford，J.：使用openmath作为单元语义的表示来创建可扩展的单元转换器。技术报告2008-02，巴斯大学（2008），http://www.cs.bath.ac.uk/pubdb/download.php？resID=290 [32] TNTBase项目（2009），https://trac.mathweb.org/tntbase网站/ [33] Ullrich，C.：基于网络学习的课件生成。LNCS，第5260卷。斯普林格，海德堡（2008） [34] W3C公司。数学标记语言（MathML）3.0，第3版。 [35] 雅虎！管道[在线]（2009） 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。