欧米伽蚂蚁

Ω-蚂蚁-一种开放的方法，结合交互式和自动定理证明。我们提出$ Omega $ANTS定理证明器，它是建立在基于代理的命令建议机制之上的。定理证明器从底层的建议机制继承有益的特性，例如运行时可扩展性和资源适应性。此外，它支持外部推理系统的分布式集成。我们还讨论了如何实现和建模的演算在我们的基于代理的方法可以研究WRT。继承性的性质，如完备性和健全性。

本软件关键词

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

ZBMaX中的参考文献（8篇）1标准条款）

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

  1. 克里斯托夫，SurGE，Volker；JAMNIK，凯日曼；Kerber，曼弗雷德：自动化合作的组合推理（2008）
  2. 瓦格纳，贾景晖；Autoxer-Serge；Bangmüü勒，克里斯托夫：\TexScLPLAT（\Omega）：文本编辑器和证明辅助系统之间的中介体（2007）
  3. Siekmann，J.O.R.G；克里斯托夫，Autxier-SerGe:计算机支持的数学（ω）mega（2006）
  4. Siekmann，J.O.R.G；克里斯托夫（：Omega）：计算机支持的数学（2004）
  5. Siekmann，J，菲德勒，A，迈耶，A；Pollet，M:：（Omega）mega的证明发展：（\SqRT2）是非理性的（2002）
  6. 克里斯托夫，迈耶，安德烈亚斯；SoGe，Volker：分布式断言检索（2001）
  7. 克里斯托夫，SoGe，Volker：（ω）蚂蚁——一种结合交互式和自动定理证明的开放式方法（2001）
  8. Kerber，曼弗雷德（ED）；Kohlhase，米迦勒（ED）：符号计算和自动推理。计算器2000年专题讨论会。第八符号计算与机械化推理的整合研讨会，St. Andrews，苏格兰，GB，8月6日- 7, 2000（2001）