欧米茄蚂蚁

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