欧米茄蚂蚁

此软件的关键字
zbMATH中的参考文献, 1标准件 )
Benzmüller,Christoph;Sorge,Volker;Jamnik,Mateja;Kerber,Manfred:自动协作的组合推理(2008) Wagner,Marc;Autexier,Serge;Benzmüller,Christoph:\ textscPlat(\Omega):文本编辑器和校对辅助系统之间的调解人(2007) 西格曼,Jörg;Benzmüller,Christoph;Autexier,Serge:计算机支持的数学与(\Omega)MEGA(2006) 西格曼,Jörg;Benzmüller,Christoph:(\Omega)MEGA:计算机支持的数学(2004) Siekmann,J.;Benzmüller,C.;Fiedler,A.;Meier,A.;Pollet,M.:(\Omega)MEGA:(\sqrt2)的证明开发是不合理的(2002年) Benzmüller,Christoph;Meier,Andreas;Sorge,Volker:分布式断言检索(2001) Benzmüller,Christoph;Sorge,Volker:(\Omega)-ANTS——结合交互式和自动定理证明的开放方法(2001) Jamnik,Mateja;Kerber,Manfred;Benzmüller,Christoph:在证明计划中学习新方法(2001) 克伯,曼弗雷德(编辑);科哈塞,迈克尔(编辑):符号计算和自动推理。 CALCULEMUS-2000专题讨论会。 第八届符号计算与机械化推理整合研讨会,苏格兰圣安德鲁斯,GB,2000年8月6日至7日(2001年)