迈克尔·科尔哈斯;罗密欧·安格拉什 面向结构化数学知识的协作内容管理和版本控制。 (英语) Zbl 1022.68618号 Asperti,Andrea(编辑)等人,《数学知识管理》。第二届国际会议,2003年MKM,意大利贝蒂诺罗,2003年2月16日至18日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。2594, 147-161 (2003). 摘要:我们提出了一种用于结构化数学知识的协作内容管理和版本控制的基础架构。这将使多个用户能够以最小的干扰共同研究数学理论。我们描述了实现类似CVS的版本控制和分发模型所需的API和功能。该体系结构以两种方式扩展了CVS体系结构,其动机是在Internet上分布式管理结构化数学知识的特定需求。一方面,CVS的一级客户机/服务器模型被推广为客户机/服务关系的多级图,另一方面,底层的变更检测工具考虑了数据的特定数学结构。有关整个系列,请参见[Zbl 1015.00029号]. 引用于1文件 MSC公司: 68立方英尺 知识表示 软件:马亚;MB基础 PDF格式BibTeX公司 XML格式引用 \textit{M.Kohlhase}和\textit{R.Anghelache},莱克特。注释计算。科学。2594147-161(2003年;Zbl 1022.68618) 全文: 链接