×
霍华德·S·科尔。；莫里茨·舒博茨；马乔丽·麦克莱恩（Marjorie A.McClain）。；博尼塔·V·桑德斯。；Zou，Cherry Y。；阿齐姆·穆罕默德。；亚历克斯·A·丹诺夫。

用泛型扩展数学公式的数字存储库L（左）A类T型E类X（X）来源。 （英语） Zbl 1417.68204号

Kerber，Manfred（编辑）等人，《智能计算机数学》。国际会议，CICM 2015，华盛顿特区，美国，2015年7月13日至17日，会议记录。查姆：斯普林格。莱克特。注释计算。科学。9150, 280-287 (2015).
总结：DRMF的一个初始目标是用基本正交多项式公式为我们的数字概要播种。我们使用NIST数字数学函数库（DLMF）的数据作为DRMF项目的初始种子。DLMF输入L（左）A类T型E类X（X）源代码已经包含一些使用高度定制的语义集编码的语义信息L（左）A类T型E类X（X）宏。这些宏可以转换为内容数学ML使用L（左）A类T型E类X（X）毫升在转换过程中，语义被转换为隐式DLMF内容字典。今年，我们开发了一个语义丰富过程，其目标是从泛型中推断语义信息L（左）A类T型E类X（X）来源。生成的无上下文语义信息用于为每个公式构建DRMF公式主页。我们使用《超几何正交多项式及其类似物》（Hypergeometric orthogonal polynominals and their（q\）-alquires）一书中选定的章节来演示这个过程。柏林：施普林格出版社（Berlin:Springer）（2010；Zbl 1200.33012号)]由R.Koekoek先生等(KLS公司)以及积极维护的本书附录T.H.Koornwinder公司(KLSadd公司). 通用输入KLS公司和KL萨德 L（左）A类T型E类X（X）源描述了公式的打印表示，但不包含显式语义信息。请参见http://drmf.wmflabs.org.
关于整个系列，请参见[Zbl 1316.68015号].

引用于5文件

MSC公司：

68立方英尺 知识表示
33立方厘米 超几何型正交多项式和函数（Jacobi、Laguerre、Hermite、Askey格式等）
33D45号 基本正交多项式和函数（Askey-Wilson多项式等）
68单位15 文本处理的计算方法；数学排版
68单位35 信息系统的计算方法（超文本导航、接口、决策支持等）

引文：

Zbl 1200.33012号

软件：

sTeX公司；马索德；乳胶；DLMF公司；LaTeXML；数学Web搜索
PDF格式BibTeX公司 XML格式引用
\textit{H.S.Cohl}等人，Lect。注释计算。科学。9150280-287（2015；Zbl 1417.68204）
全文： 内政部 arXiv公司

参考文献：

[1] NIST数学函数数字图书馆。http://dlmf.nist.gov，2014年8月29日第1.0.9版。[6]的在线伴侣
[2] 通用电气公司安德鲁斯；Askey，R。；Roy，R.，《特殊功能》（1999），剑桥：剑桥大学出版社，剑桥·Zbl 0920.33001号 ·doi:10.1017/CBO9781107325937
[3] 科尔，HS；马萨诸塞州麦克莱恩；桑德斯，BV；舒博茨，M。；威廉姆斯，JC；瓦特，SM；JH达文波特；美联社塞克斯顿；索伊卡，P。；Urban，J.，《数学公式数字存储库》，《智能计算机数学》，419-422（2014），海德堡：施普林格·Zbl 1304.68194号 ·数字对象标识代码：10.1007/978-3-319-08434-3_30
[4] 埃尔德莱伊，A。；马格纳斯，W。；Oberhettinger，F。；Tricomi，FG，《积分变换表》（1954），纽约-多伦多-隆登：麦格劳-希尔图书公司，纽约-隆登·Zbl 0055.36401号
[5] 埃尔德莱伊，A。；马格纳斯，W。；Oberhettinger，F。；特里科姆，FG，《高等超越功能》（1981），墨尔本：罗伯特·E·克里格出版公司·Zbl 0064.06302号
[6] Olver，FWJ；Lozier，DW；波西弗特，RF；Clark，CW，NIST数学函数手册（2010），纽约：剑桥大学出版社，纽约·Zbl 1198.00002号
[7] Koekoek，R。；宾夕法尼亚州莱斯基；斯瓦图，RF，超几何正交多项式及其类似物（2010），柏林：施普林格出版社，柏林·兹比尔1200.33012 ·doi:10.1007/978-3642-05014-5
[8] Kohlhase，M.，《使用LaTeX作为语义标记格式》，数学。计算。科学。，2, 2, 279-304 (2008) ·兹比尔1176.68230 ·doi:10.1007/s11786-008-0055-5
[9] 科尔哈斯，M。；苏姗，I。；Calmet，J。；艾达·T。；Wang，D.，数学公式搜索引擎，人工智能和符号计算，241-253（2006），海德堡：施普林格·Zbl 1156.68306号 ·数字对象标识代码：10.1007/11856290_21
[10] Koornwinder，T.H.：Koekoek，Lesky和Swarttouw在“超几何正交多项式及其类似物”中对公式列表的添加。arXiv:1401.0815v2（2015）
[11] 米勒，BR；Youssef，A.，《数学函数数字库的技术方面》，《数学年鉴》。Artif公司。智力。，38, 1-3, 121-136 (2003) ·Zbl 1019.65002号 ·doi:10.1023/A:1022967814992
[12] Nghiem，M-Q；Kristianto，GY；托皮奇，G。；Aizawa，A。；瓦特，SM；JH达文波特；美联社塞克斯顿；Sojka，P。；Urban，J.，哪一个更好：基于表示的数学搜索还是基于内容的数学搜索？，《智能计算机数学》，200-212（2014），海德堡：斯普林格·Zbl 1304.68039号 ·数字对象标识代码：10.1007/978-3-319-08434-3_15
[13] Pagel，R.，Schubotz，M.：数学语言处理项目。发表于：England，M.，Davenport，J.H.，Kohlhase，A.，Kohlphase，M.、Libbrecht，P.、Neuper，W.、Quaresma，P.，Sexton，A.P.、Sojka，P.和Urban，J.，Watt，S.M.（编辑）《MathUI、OpenMath和ThEdu研讨会联合会议记录》，CICM与智能计算机数学会议合办（CICM 2014）。CEUR研讨会论文集，葡萄牙科英布拉，7月7日至11日，第1186卷（2014年）。http://CEUR-WS.org
[14] 舒博茨，M。；威克，G。；瓦特，SM；JH达文波特；美联社塞克斯顿；索伊卡，P。；Urban，J.，Mathoid：维基百科的健壮、可伸缩、快速和可访问的数学渲染，《智能计算机数学》，224-235（2014），海德堡：斯普林格，海德伯格·Zbl 1304.68200号 ·doi:10.1007/978-3-319-08434-3_17
[15] 美联社塞克斯顿；JA坎贝尔；Jeuring，J。；Carette，J。；Dos Reis，G。；Sojka，P。；温泽尔，M。；Sorge，V.、Abramowitz和stegun–数学文档分析资源，《智能计算机数学》，159-168（2012），海德堡：斯普林格，海德伯格·Zbl 1360.68823号 ·doi:10.1007/978-3642-31374-5_11
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。