欧米茄蚂蚁

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

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换

zbMATH中的参考文献（参考文献9条,1标准件)

显示第1到第9个结果，共9个。
按年份排序(引用)

  1. 本斯米勒，克里斯托夫；高粱、沃尔克；杰姆尼克，马特亚；Kerber，Manfred:自动协作的组合推理（2008）
  2. 瓦格纳，马克；奥特西耶，谢尔盖；Benzmüller，Christoph:\textscPlat（\Omega）：文本编辑器和校对辅助系统之间的调解人（2007）
  3. 西格曼，Jörg；本斯米勒，克里斯托夫；Autexier，Serge:计算机支持的数学与（\Omega）MEGA（2006）
  4. 西格曼，Jörg；Benzmüller，Christoph:（\Omega）MEGA:计算机支持的数学（2004）
  5. 西克曼，J。；本兹米勒，C。；费德勒，A。；梅尔，A。；Pollet，M.：用（\Omega）MEGA:（\sqrt2）证明开发是不合理的（2002）
  6. 本斯米勒，克里斯托夫；梅尔，安德烈亚斯；Sorge，Volker:分布式断言检索（2001）
  7. 本斯米勒，克里斯托夫；Sorge，Volker:（\Omega）-ANTS——结合交互式和自动定理证明的开放方法（2001）
  8. 杰姆尼克，马特亚；克伯，曼弗雷德；Benzmüller，Christoph:在证明计划中学习新方法（2001）
  9. 克伯，曼弗雷德（编辑）；科哈塞，迈克尔（编辑）：符号计算和自动推理。CALCULEMUS-2000专题讨论会。第八届符号计算与机械化推理整合研讨会，苏格兰圣安德鲁斯，GB，2000年8月6日至7日（2001年）