谢尔盖·奥特西尔;加泰林·大卫;多米尼克·迪特里希;迈克尔·科尔哈斯;维亚切斯拉夫·兹霍卢德夫 管理科学、技术、工程和数学变革的工作流。 （英语） Zbl 1278.68291号 Davenport，James H.（编辑）等人，《智能计算机数学》。2011年7月18日至23日，在意大利贝尔蒂诺罗举行的2011年微积分学第18次研讨会和2011年MKM第10次国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-22672-4/pbk）。计算机科学课堂讲稿6824。人工智能课堂讲稿，164-179（2011）。 摘要：数学知识是科学、工程和技术（文档）的核心组成部分。其中大部分是非正式的，与出版的研究数学不同，它会不断变化。不幸的是，机器对变更管理的支持要么是非常粗粒度的，因此几乎没有用处，要么局限于可以实现自动化的正式语言。在本文中，我们报告了将变更管理扩展到半形式文档集合的努力，这些文档灵活地混合了数学公式和自然语言，并将其集成到数学知识的语义发布系统中。我们验证了长期以来的假设，即驱动机器支持的与文档交互的这些灵活文档中的语义注释可以同时支持语义影响分析。但与完全正式的设置不同，在这种设置中，受影响文档的改编可以在一定程度上实现自动化，而灵活的设置需要更多的用户交互，因此需要与文档管理工作流进行更紧密的集成。关于整个系列，请参见[Zbl 1218.68014号]. 引用于1文件 MSC公司： 68立方英尺 知识表示 软件：TNT基地;LaTeXML;行星数学;动态数学 PDF格式BibTeX公司 XML格式引用 \textit{S.Autexier}等人，Lect。注释计算。科学。6824、164--179（2011年；Zbl 1278.68291） 全文： 内政部 arXiv公司 参考文献： [1] Autexier，S.，Müller，N.：基于语义的文档异构集合更改影响分析。In:Gormish，M.，Ingold，R.（eds.）第十届ACM文件工程研讨会论文集（DocEng 2010），英国曼彻斯特（2010） [2] Bohner，S.A.：软件变更影响分析的图形跟踪方法。博士论文。乔治·梅森大学，费尔法克斯，弗吉尼亚州，美国（1995年） [3] David，C.等人：eMath 3.0：用于在线数学和电子学习的社交和语义网络的构建块。In:Mierlus-Mazilu，I.（ed.）第一届数学与信息通信技术国际研讨会：教育、研究和应用，罗马尼亚布加勒斯特（2010年11月3日） [4] Deolalikar P与NP论文，http://michaelnielsen.org/polymath1/index.php？title=Deolalikar_P_vs_NP_paper&oldid=3654（2010年3月11日访问） [5] DocTIP：文档和工具集成平台，http://www.informatik.uni-bremen.de/agbkb/forschung/formal_methods/DocTIP/（2010年11月30日访问） [6] 通用计算机科学：GenCS I/II课堂讲稿。《Panta Rhei中的语义课程笔记》（2011），http://gencs.kwarc.info/book/1 [7] Ginev，D.，Stamerjohanns，H.，Kohlhase，M.：LaTeXML守护进程：协作网络上的可编辑数学。智能代理计算机数学（2011年通过）·Zbl 1278.68337号 [8] Hutter，D.：异构文档的语义管理（特邀演讲）。收录：Aguirre，A.H.，Borja，R.M.，Garciá，C.A.R.（编辑）MICAI 2009。LNCS，第5845卷，第1-14页。斯普林格，海德堡（2009）·Zbl 05624396号 ·doi:10.1007/978-3-642-05258-31 [9] Hwang，Y.-F.：检测信息分发系统中链式引用规则中的错误。博士论文。乔治·梅森大学，费尔法克斯，弗吉尼亚州，美国（1998年） [10] Jakumeit，E.、Buchwald，S.、Kroll，M.：GrGen。网络。国际技术转让软件工具杂志（STTT）12（3），263–271（2010）·Zbl 05781773号 ·doi:10.1007/s10009-010-0148-8 [11] Jarke，M.：需求跟踪。ACM通讯41（12）（1998）·doi:10.1145/290133.290145 [12] Keables，J.，Roberson，K.，von Mayrhauser，A.：数据流分析及其在软件维护中的应用。摘自：《软件维护会议记录》，第335-347页。IEEE CS出版社，洛斯阿拉米托斯（1988） [13] Kohlhase，A.，Kohlhaze，M.：通过版本化链接维护一致性孤岛·Zbl 1188.68281号 [14] Kohlhase，M.等人：行星系统：STEM的Web 3.0和活动文档。2011年ICCS（可执行文件挑战赛入围）（2011年）接受出版 [15] Korel，B.，Laski，J.：计算机程序的动态切片。《系统与软件杂志》13（3），164-1212（1990），http://dx.doi.org/，doi:10.1016/0164-1212，ISSN:0164-1212·Zbl 05433155号 ·doi:10.1016/0164-1212（90）90094-3 [16] Loyall，J.P.，Mathisen，S.A.：使用依赖分析支持软件维护过程。收录于：ICSM 1993:软件维护会议记录，第282-291页。美国哥伦比亚特区华盛顿IEEE计算机学会（1993）ISBN:0-8186-4600-4·doi:10.1109/ICSM.1993.366934 [17] rcm2 Ltd.DOORS-动态面向对象需求系统，网址：http://www.rcm2.co.uk [18] 穆勒，N.：半结构化文档的变更管理。博士论文。不来梅雅各布斯大学（2010） [19] 行星开发者论坛，http://trac.mathweb.org/planetary/（2011年1月20日访问） [20] PlanetMath.org全民数学，http://planetmath.org（2011年6月1日访问） [21] Autexier，S.，Müller，N.：基于语义的文档异构集合更改影响分析。In:Gormish，M.，Ingold，R.（eds.）第十届ACM文件工程研讨会论文集（DocEng 2010），英国曼彻斯特（2010）·数字对象标识代码：10.1145/1860559.1860580 [22] ActiveMath系统，网址：http://www.activemath.org/（2011年11月3日访问） [23] 怀特，L.J.：回归集成测试中控制流和数据流的防火墙概念。IEEE传输。软件工程，171-262（1992）·doi:10.1109/ICSM.1992.242535 [24] Zholudev，V.，Kohlhase，M.：TNTBase：XML的版本存储。摘自：Balisage会议记录：2009年加价会议。Balisage标记技术系列。Mulberry Technologies，Inc.（2009年），http://kwarc.info/vzholudev/pubs/balisage.pdf 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。