埃克塞尔·卢西纳亚；迈克尔·科尔哈斯 整数序列在线百科全书中的公式语义识别和自动关系查找。 （英语） Zbl 1434.68661号 Greuel，Gert-Martin（编辑）等人，《数学软件——ICMS 2016》。第五届国际会议，德国柏林，2016年7月11-14日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9725, 467-475 (2016). 摘要：整数序列在线百科全书(OEIS公司)是数学家的重要资源。该数据库结构良好，数学内容丰富，但本质上是非正式的，因此知识管理服务并不直接适用。在本文中，我们为OEIS公司这充分利用了这样一个事实，即在实践中，其公式中使用的语法相当规则。然后，我们将结果导入OMDoc公司使OEIS公司可访问的OMDoc公司-基于知识管理的应用程序。我们用一个基于数学Web搜索系统和程序之间的关系OEIS公司序列。有关整个系列，请参见[Zbl 1342.68017号]. 引用于1文件 MSC公司： 68伏35 数字数学图书馆和知识库 11立方英尺83 特殊序列和多项式 68伏30 数学知识管理 软件：OMDoc公司；数学Web搜索；SageMath公司；OEIS公司；github PDF格式BibTeX公司 XML格式引用 \textit{E.Luzhenia}和\textit{M.Kohlhase}，莱克特。注释计算。科学。9725、467--475（2016年；Zbl 1434.68661） 全文： 内政部 参考文献： [1] Hambasan，R.、Kohlhase，M.、Prodescu，C.：NTCIR-11的数学网络搜索。收录于：Kando，N.、Joho，H.、Kishida，K.（编辑）NTCIR研讨会11会议，第114-119页。NII，东京（2014） [2] OEIS基金会。整数序列在线百科全书（2015）。http://oeis.org/ [3] Lustricha，E.：OEIS中的公式语义化和自动关系发现。理学学士学位论文。不来梅雅各布斯大学（2016）。https://github.com/eluzhnica/OEIS/doc/Enxhell_Luzhenica_BSC.pdf ·Zbl 1434.68661号 [4] 斯隆，N.J.A.：整数序列在线百科全书（2012）。http://neilsloane.com/doc/eger.pdf ·Zbl 1274.11001号 [5] 贤明的开发商。SageMath，《Sage数学软件系统》（7.1版）（2016年）。http://www.sagemath.org [6] Stephan，R.：来自OEIS的100个推测的状态（2004）。http://www.ark.inberlin.de/conc.txt 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。