sTeX公司

sTeX:LaTeX文档语义预加载的基础设施。这个存储库包含sTeX包集合,这是TeX/LaTeX的一个版本,它允许在不离开文档格式的情况下语义地标记TeX/LaTeX文档,本质上将其转换为用于数学知识管理(MKM)的文档格式。

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换


zbMATH中的参考文献(参考文献9条,1标准件)

显示第1到第9个结果,共9个。
按年份排序(引用)

  1. 吉涅夫、德扬;安库,米娜;朱可夫斯,康斯坦丁;科哈塞,安德里亚;科哈塞,迈克尔;奥里波夫,阿克巴;舍夫特,约根;斯珀伯,沃尔夫拉姆;特施克,奥拉夫;Wiesing,Tom:SMGloM项目和系统:走向数学术语和本体论(2016)
  2. 考尔,霍华德S。;舒博茨,莫里茨;麦克莱恩,马乔里A。;桑德斯,博尼塔五世。;邹雪莉。;穆罕默德,阿泽姆S。;Danoff,Alex A.:利用通用资源发展数学公式的数字存储库(2015)
  3. Moore,Ross:通过“工具提示”丰富数学语义(2015)
  4. 伊莱萨洛夫,上午。;基里洛维奇,A.V。;利帕切夫,E.K。;内华佐罗娃州。;索洛维耶夫,V.D。;志尔佐夫,N.G.:数学知识表示:语义模型与形式主义(2014)
  5. 伊莱萨洛夫,上午。;利帕切夫,E.K。;内华佐罗娃州。;Solov'ev,V.D.:电子数学文档语义结构的方法和方法(2014)
  6. Kohlhase,Michael:语义、多语言数学术语的数据模型和编码(2014)
  7. 霍洛扎尔,富尔雅;艾琳,艾琳;朱科夫斯基,康斯坦丁;科哈塞,迈克尔;拉贝,弗洛里安:结合来源,内容,呈现,叙述和关系表征(2011)
  8. 吉塞瓦,雅娜;兰格,克里斯托夫;Rabe,Florian:将web服务集成到活动数学文档中(2009)
  9. Kohlhase,Michael:使用La\TeX作为语义标记格式(2008)