编辑大规模数学语料库中的知识。一项基于语义LaTeX（sTeX）的案例研究。
摘要：数学知识管理的主要问题之一是将非正式的知识转化为面向机器的表示形式，以充分利用计算机在管理数学知识方面的潜力。两个独立的数学内容形式化项目表明，如果有适当的工具支持，许多耗时的任务可以大大减少。这些任务在面向对象语言中也是典型的，并且在很大程度上由集成开发环境（IDE）解决。本论文首先分析了形式化过程能够从软件支持中获益的机会。然后编制了一系列研究问题和软件需求清单，以开发面向语义TeX（stex{}）格式的新IDE。当前研究的结果表明，确实可以在形式化过程中使用IDE，并提出了一系列实施此类IDE的最佳实践。
作者：Constantin Jucovschi
论文ID：1010.5935
分类：Digital Libraries
分类简称：cs.DL
提交时间：2010-10-29