比尔·奈勒;斯蒂芬·瓦特 用于将数学文档转换为多种形式的元样式表。 （英语） Zbl 1025.68104号 安。数学。Artif公司。智力。 38，编号1-3，3-25（2003）. 小结：有时有必要将数学文档转换成多种不同的形式。这可以通过对文档应用不同的XSLT样式表来实现，每个样式表对应一个所需的表单。我们描述了如何使用元样式表来自动生成样式表，这些样式表将应用于数学文档以生成所需的多个表单。元样式表所需的资源可以在扩展的openmath内容字典中进行编码。我们讨论如何将表示信息存储在不同符号样式的内容词典中。 理学硕士： 68单位15 文本处理的计算方法；数学排版 关键词：数学ML;元样式表;OpenPath（OpenPath）;语义模板;XML格式;XSLT（XSLT） PDF格式BibTeX公司 XML格式引用 \textit{B.Naylor}和\textit{S.Watt}，安.数学。Artif公司。智力。38，编号1--3，3--25（2003；Zbl 1025.68104） 全文： 内政部