姆巴斯

MBase：代表数学软件系统集成的知识和背景。我们描述的数据模型的MBASE系统，基于Web的分布式数学知识库。该系统是MathWeb中的数学服务，它提供了形式化数学的通用知识库，其中形式化表示允许基于语义的分布式数学事实的检索。我们对数学知识所必需的数据进行分类并分析其结构。对于数学概念的逻辑表述，我们提出了一种用于开发数学知识库表示形式的方法。我们提出了具体的知识库与逻辑系统的逻辑形态连接的层次结构。这些映射关系公式和证明，从而支持知识的翻译，目前正在使用的演绎系统中的各种格式。另一方面，他们用更简单的语言来定义更高的语言特征，并最终成为公理集合理论中发现整个知识库的手段。这种方法的可行性被证明是通过开发一个排序的记录-对数-微积分与依赖分类和标记的抽象，非常适合于形式化数学实践和支持有效的推理服务。这种“数学白话”是一种按记录、相关记录排序和选择分类的排序的对数演算的扩展。

本软件关键词

这里的任何东西都将在支持画布元素的浏览器上被替换。

ZBMaCT中的参考文献（17篇文章中引用）

显示结果1至17的17。
按年份排序（引文）

  1. Kohlhase，米迦勒；苏珊，约安：数学公式搜索引擎（2006）
  2. Siekmann，J.O.R.G；克里斯托夫，Autxier-SerGe:计算机支持的数学（ω）mega（2006）
  3. 克里斯托夫，迈耶，安德烈亚斯；SoGe，Volker：桥接定理证明和数学知识检索（2005）
  4. Kohlhase、安德列、科尔哈斯、米迦勒：C点：化解作者的困境（2004）
  5. Siekmann，J.O.R.G；克里斯托夫（：Omega）：计算机支持的数学（2004）
  6. Kohlhase，米迦勒；安杰拉奇，Romeo：面向结构化数学知识的协同内容管理和版本控制（2003）
  7. Sacerdoti Coen，克劳迪奥：从证明助手到数学分布式图书馆：技巧和陷阱（2003）
  8. Siekmann，J.O.R.G；克里斯托夫，菲德勒，Armin；迈耶，安德烈亚斯；Normann，Pig；Y.，γ：证明与（ω）mega的发展：（\qRT2）的不合理性（2003）
  9. Melham，T. F.：繁荣。嵌入式验证引擎软件体系结构研究（2002）
  10. Siekmann，J，菲德勒，A，迈耶，A；Pollet，M:：（Omega）mega的证明发展：（\SqRT2）是非理性的（2002）
  11. 克里斯托夫，迈耶，安德烈亚斯；SoGe，Volker：分布式断言检索（2001）
  12. 卡普蒂蒂、O.、科恩、A. M.：OpenMaCT在交互式数学文献中的作用（2001）
  13. Kohlhase，米迦勒：OMDOC：迈向数学知识管理、分配和教学的互联网标准（2001）
  14. Kohlhase，米迦勒；弗兰卡，安德烈亚斯：MBASE：表示数学软件系统集成的知识和背景（2001）
  15. Voronkov，安德列：高效自动演绎中的算法、数据结构和其他问题（2001）
  16. 弗兰卡，安德烈亚斯；科尔哈斯，米迦勒：系统描述：MBase，一个开放的数学知识库（2000）
  17. 弗兰卡、安德烈亚斯、科尔哈斯、米迦勒：MBase：表示关系数据库中的数学知识（1999）