×

兹马思-数学第一资源

\(\Omega\)-ANTS–结合交互式和自动定理证明的开放方法。(英语) 6809.86升
Kerber,Manfred(ed.)等人,《符号计算和自动推理》。CALCULEMUS-2000专题讨论会。第八届符号计算与机械化推理整合研讨会,苏格兰圣安德鲁斯,英国,2000年8月6日至7日。马萨诸塞州纳蒂克:A.K.彼得斯。81-97(2001年)。
摘要:我们提出了一个基于agent的命令建议机制之上的\(\Omega\)-ANTS定理证明器。定理证明器继承了底层建议机制的有益属性,如运行时可扩展性和资源适应性。此外,它还支持外部推理系统的分布式集成。我们还讨论了如何在我们基于代理的方法中研究微积分的实现和建模。财产的继承,如完整性和健全性。
整个系列请参见[Zbl 0962.00008号].

理学硕士:
68T15型 定理证明(演绎、解析等)(MSC2010)
软件:
欧米茄蚂蚁
PDF格式 BibTeX公司 XML 引用