迈克尔·科尔哈斯 OMDOC：为数学知识的管理、分发和教学制定互联网标准。 （英语） Zbl 1042.00511号 约翰·坎贝尔（编辑）等人，《人工智能和符号计算》。2000年7月17日至19日在西班牙马德里举行的AISC 2000国际会议。修订论文。柏林：施普林格出版社（ISBN 3-540-42071-1）。莱克特。注释计算。科学。1930, 32-52 (2001). 摘要：在本文中，我们将OMDOC扩展到OPENMATH标准，允许表示各种数学文档的语义和结构，包括文章、教科书、交互式书籍、课程。它可以作为数学软件总线上数学服务的代理通信的内容语言。关于整个系列，请参见[Zbl 0961.00030号]. 引用于7文件 理学硕士： 00A99号 一般和其他特定主题 68立方英尺 知识表示 68瓦30 符号计算和代数计算 97U70型 技术工具、计算器（数学教育方面） 97单位40 问题书、竞赛、考试（数学教育方面） 软件：OMRS公司;间隙;CoFI公司;OMDoc公司;MB基础;繁荣 PDF格式BibTeX公司 XML格式引用 \textit{M.Kohlhase}，莱克特。注释计算。科学。1930年，32-52（2001年；兹bl 1042.000511） 全文： 链接