STEXIDE公司 swMATH ID: 7696 软件作者： 朱可夫斯基（Jucovschi），君士坦丁（Constantin）；迈克尔·科尔哈斯 描述： STEXIDE：STEX集合的集成开发环境。以OMDoc等MKM格式编写文档是一项非常繁琐的任务。经过多年对STEX文档语义注释语料库（GenCS）的研究，我们确定了一组通用、耗时的子任务，这些任务可以在集成的创作环境中得到支持。我们已经将模块化Eclipse IDE改编为STEXIDE，这是一种用于提高基于STEX的语料库生产力的创作解决方案。STEXIDE支持上下文软件命令完成、模块管理、语义宏检索和理论图导航。 主页： http://dl.acm.org/ticitation.cfm？id=1894515 关键词： 数学知识管理 相关软件： TNT基地；MMT公司；米扎尔；LaTeXML；数学ML；赫茨；Twelf公司；Coq公司；公式生成器MathML；STEX公司+；莫德；拉丁语；区域设置；IMPS公司；OMDoc公司；质量管理团队；自动化；安全控制中心；OBJ3型；TPTP公司 引用于： 5文件 全部的 前5名13位作者引用 三 迈克尔·科尔哈斯 2 君士坦丁·朱科维奇 2 弗洛里安·拉贝 1 谢尔盖·奥特西尔 1 雅克·卡梅特 1 大卫·德拉哈耶 1 富利亚·霍罗扎尔 1 阿林·艾科布 1 帕特里克·D·F·伊恩。 1 克里斯托夫·兰格 1 劳伦斯·里多 1 雷诺·里奥博 1 艾伦·塞克斯顿。 3篇连载文章中引用 1 信息与计算 1 计算机科学课堂讲稿 1 语义网研究 在2个字段中引用 5 计算机科学（68至XX） 1 总体主题；集合（00-XX） 按年份列出的引文