菲利普斯，J.D。;大卫，斯坦诺夫斯克 拟群和环路理论中的自动定理证明。 （英语） 兹比尔1204.68181 AI通讯。 23，编号2-3，267-283（2010）. 摘要：我们综述了在拟群和环路理论领域中，借助于自动定理证明器所获得的所有已知结果。我们对选定的问题提供了非正式和正式的描述，并比较了选定的最先进的一阶定理证明器在这些问题上的性能。我们的分析产生了一些令人惊讶的结果，例如，环路理论家最常用的定理证明器不一定产生最佳性能。 引用于5文件 MSC公司： 68吨15 定理证明（演绎、解析等）（MSC2010） 关键词：自动定理证明;拟群;环;非结合代数 软件：E定理证明器;VAMPIRE公司;第三方交易协议 PDF格式BibTeX公司 XML格式引用 \textit{J.D.Phillips}和\textit{D.Stanovskí}，AI Commun。23、编号2--3、267--283（2010；Zbl 1204.68181） 全文： 内政部