×

STEXIDE:STEX集合的集成开发环境。 (英语) 兹布1278.68294

Autexier,Serge(ed.)等人,《智能计算机数学》。第10届国际会议,AISC 2010,第17届研讨会,Calculemus 2010,第9届国际会议,MKM 2010,法国巴黎,2010年7月5-10日。会议记录。柏林:斯普林格出版社(ISBN 978-3-642-14127-0/pbk)。计算机科学讲义6167。人工智能讲义,336-344(2010)。
摘要:以MKM格式(如OMDoc)编写文档是一项非常乏味的任务。经过多年对STEX文档语义标注语料库(GenCS)的研究,我们确定了一组通用的、耗时的子任务,这些子任务可以在集成的创作环境中得到支持。
我们已经将模块化的Eclipse IDE改编为STEXIDE,这是一种在创建基于STEX的语料库时提高生产力的创作解决方案。STEXIDE支持上下文感知命令完成、模块管理、语义宏检索和理论图导航。
整个系列请参见[Zbl 1194.68011].

理学硕士:

68T30型 知识表示

关键词:

数学知识管理
PDF格式 BibTeX公司 XML 引用
全文: 内政部