×

SMGloM项目和系统:走向数学术语和本体。 (英语) Zbl 1434.68649号

Greuel,Gert-Martin(编辑)等人,《数学软件——ICMS 2016》。第五届国际会议,德国柏林,2016年7月11日至14日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。9725, 451-457 (2016).
摘要:数学方言——我们用来交流数学的日常语言有一个特殊的词汇。如果我们想用数学文档支持人类,我们需要提取他们的语义,为此,我们需要一个能够捕获数学词汇的术语、语言和本体方面的资源。在SMGloM项目和系统中,我们的目标就是这样做。我们展示了词汇表系统原型、内容组织和设想的社区方面。
关于整个系列,请参见[Zbl 1342.68017号].

MSC公司:

68伏30 数学知识管理
68立方英尺 知识表示
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] DBpedia(数据库)。2013年9月17日。http://dbpedia.org . 2014年2月21日处理
[2] Ginev,D.,Corneli,J.:NNexus重新装弹。收录人:Watt,S.M.、Davenport,J.H.、Sexton,A.P.、Sojka,P.、Urban,J.(编辑)CICM 2014。LNCS,第8543卷,第423-426页。斯普林格,海德堡(2014)。http://arXiv.org/abs/1404.6548 ·Zbl 1304.68195号 ·数字对象标识代码:10.1007/978-3-319-08434-3_31
[3] Kohlhase,M.:数学软件系统之间的通信。收录:Kohlhase,M.(编辑)OMDoc–数学文档的开放标记格式[版本1.2]。LNCS(LNAI),第4180卷,第75-79页。斯普林格,海德堡(2006)。http://omdoc.org/pubs/omdoc1.2.pdf ·doi:10.1007/11826095_11
[4] Kohlhase,M.:数学语义多语言术语的数据模型和编码。收录人:Watt,S.M.、Davenport,J.H.、Sexton,A.P.、Sojka,P.、Urban,J.(编辑)CICM 2014。LNCS,第8543卷,第169-183页。斯普林格,海德堡(2014)。http://kwarc.info/kohlhase/papers/cicm14-smglom.pdf ·Zbl 1304.68173号 ·数字对象标识代码:10.1007/978-3-319-08434-3_13
[5] MathHub.info:主动数学。http://mathhub.info . 2014年1月28日访问
[6] Rabe,F.,Kohlhase,M.:一个可扩展的模块系统。Inf.计算。230, 1–54 (2013). http://kwarc.info/frabe/Research/mmt.pdf ·Zbl 1358.68283号 ·doi:10.1016/j.ic.2013.06.001
[7] Kohlhase,M.:SMGloM公共许可证(SPL)0.1版。https://mathhub.info/help/spl0.1.html
[8] KWARC,sTeX公司。https://github.com/KWARC/sTeX网站 . 2015年5月15日查阅
[9] Toloaca,I.:MathSemantier——一项基于符号的语义研究。不来梅雅各布斯大学理学学士学位论文(2016)
[10] Watt,S.M.、Davenport,J.H.、Sexton,A.P.、Sojka,P.、Urban,J.(编辑):2014年国际化学品管理委员会。LNCS,第8543卷。斯普林格,海德堡(2014)。国际标准图书编号:978-3-319-08433-6·Zbl 1293.68035号
[11] WordNet:英语词汇数据库。https://wordnet.princeton.edu/ . 2013年5月26日查阅
[12] 走向通用多语言Wordnet。http://www.mpi-inf.mpg.de/yago-naga/uwn/ . 2013年5月26日查阅
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配,并且可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。