硬脂

STEXIDE:STEX集合的集成开发环境。编写像OMDoc这样的MKM格式的文档是一项非常乏味的任务。经过多年对STEX文档(GenCS)语义注释语料库(GenCS)的研究,我们确定了一组通用的、耗时的子任务,这些子任务可以在集成的创作环境中得到支持。par我们将模块化Eclipse IDE改编成STEXIDE,这是一种在创建基于STEX的语料库时提高生产力的创作解决方案。STEXIDE支持上下文感知命令完成、模块管理、语义宏检索和理论图导航。

这个软件也是同行评审按日记帐汤姆斯.