布鲁斯·米勒。;阿卜杜·尤塞夫 数学函数数字图书馆的技术方面。 (英语) Zbl 1019.65002号 安。数学。工件。智力。 38,编号1-3,121-136(2003). 摘要:1997年开始的NIST数学函数数字图书馆(DLMF)项目正在编写一本手册[Zbl 1198.00002号]和网站[http://dlmf.nist.gov/]面向广泛的用户群体。内容主要是数学公式、图表、计算方法、参考资料和软件链接。开发这种性质的网络手册的任务提出了几个技术挑战。我们描述了数学函数数字图书馆项目的目标以及制约这些目标的现实。我们提出了实用的初始解决方案,以简化可适应内容的创作:L(左)A类T型E类X(X)类,该类鼓励适度的语义标记风格;以及一个数学搜索引擎,它可以根据任务调整文本搜索引擎。 引用于1审查引用于11文件 MSC公司: 33-00 与特殊功能相关的通用参考书(手册、词典、书目等) 65D20个 特殊函数和常数的计算,表的构造 65日元 数值算法的封装方法 关键词:数学函数数字图书馆;数学标记;数学符号;数学搜索;手册;网站;数学公式;计算方法;数学函数项目 引文:Zbl 1198.00002号 软件:DLMF公司 PDF格式BibTeX公司 XML格式引用 \textit{B.R.Miller}和\textit{A.Youssef},安.数学。工件。智力。38,编号1--3,121-136(2003;Zbl 1019.65002) 全文: DOI程序