迈克尔·科尔哈斯;克里斯汀·米勒;弗洛里安·拉贝 动态数学文档的符号。 （英语） Zbl 1166.00304号 Autexier，Serge（编辑）等人，《智能计算机数学》。2008年7月28日至8月1日，在英国伯明翰举行的2008年AISC第九届国际会议、2008年Calculemus第十五届研讨会、2008年MKM第七届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-85109-7/pbk）。计算机科学课堂讲稿5144。《人工智能课堂讲稿》，504-519（2008）。 摘要：符号是理解数学语篇的核心。读者喜欢阅读能够很好地传达意思的符号，并喜欢他们熟悉的符号。因此，作者根据这两个标准优化了注释的选择，同时努力保持与文档和他们自己以前的出版物的一致性。在出版时固定符号的印刷媒体中，这是一个过度约束的问题。在活体文档中，可以在阅读时调整注释，同时考虑到读者的偏好。我们为活的数学文档中的符号提供了一个表示基础结构。数学符号可以用声明的方式定义。作者和读者可以在任意文档级别扩展定义一组可用的符号定义，并且可以通过内涵注释指导符号选择功能。我们给出了符号定义和灵活的渲染算法的抽象规范，并在范例中展示了它们的覆盖范围。我们展示了如何使用该框架将OpenMath和Content-MathML呈现为Presentation-MathXML，但该方法扩展到了任意内容和表示格式。我们讨论了渲染管道所有方面的原型实现。关于整个系列，请参见[Zbl 1154.68002号]. 引用于6文件 MSC公司： 00A35型 数学方法论 68单位15 文本处理的计算方法；数学排版 68单位35 信息系统的计算方法（超文本导航、接口、决策支持等） 软件：OMDoc公司 PDF格式BibTeX公司 XML格式引用 \textit{M.Kohlhase}等人，Lect。注释计算。科学。5144、504--519（2008；Zbl 1166.00304） 全文： 内政部