C点 swMATH ID: 29398 软件作者： 安德烈亚·科尔哈斯（Andrea Kohlhase）；迈克尔·科尔哈斯 描述： 观点：解决作者的困境。自动化知识管理技术严重依赖于语义增强文档的可用性，而这些文档在实践中很难获得。从详细了解用户生成语义数据的动机开始，我们认为MKM遇到的创作问题实际上是作者的两难选择。对内容创作过程的分析表明，通过提供专门用于支持内容创建者的创作工具（如侵入式编辑器），可以部分克服这一困境。我们介绍了CPoint应用程序，这是一个面向OMDoc MKM格式的Microsoft PowerPoint的语义入侵编辑器。 主页： https://kwarc.info/systems/cpoint/ 依赖项： PowerPoint演示文稿 相关软件： OMDoc公司；套管，套管；数学中心信息；辛烷；sTeX公司；动态数学；CoFI公司；基瓦尔；爱马仕；arXMLiv公司；LaTeXML；伊莎贝尔/HOL；数学ML；香囊；MMT公司；擅长；数学软件；特克斯点；PowerPoint演示文稿；MB基础 引用于： 4文件 更多出版物： https://kwarc.github.io/bibs/cpoint/ 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 观点：解决作者的困境。 Zbl 1108.68593号安德烈亚·科尔哈斯；迈克尔·科尔哈斯 2004 3位作者引用 三 迈克尔·科尔哈斯 2 安德烈亚·科尔哈斯 1 君士坦丁·朱科维奇 连载1篇 1 计算机科学中的数学 在1个字段中引用 4 计算机科学（68至XX） 按年份列出的引文