XBarnacle: Making Theorem Provers More Accessible
XBarnacle: Making Theorem Provers More Accessible
复制标题
XBarnacle：让定理证明更容易理解
DOI：
--
复制
发表时间：
1997
期刊：
影响因子：
--
通讯作者：
D. Duncan
中科院分区：
文献类型：
--
作者：
H. Lowe;D. Duncan
XBarnacle 提供：
1.
CLAM 功能的扩展，因为即使提供引理，也并非所有定理都可以自动证明。
2.
CLAM 的更实用版本，有可能扩大其用户群。
3.
用于试验不同方法和启发式的工具。
XBarnacle provides:
1.
An extension to the capabilities of CLAM, as not all theorems may be proved automatically, even with the provision of lemmas.
2.
A more useable version of CLAM, with potential to extend its user base.
3.
A tool for experimenting with different methods and heuristics.