约格·西克曼;克里斯托夫·本穆勒;弗拉基米尔·勃列日涅夫;Lassaad Cheikhrouhou;阿明·菲德勒;安德烈亚斯·弗兰克;赫尔穆特·霍拉切克;迈克尔·科尔哈斯;安德烈亚斯·梅耶;艾丽卡·梅利斯;马库斯·莫什内尔;伊曼纽尔·诺曼;马丁·波莱特;沃尔克·索尔格;卡斯滕·乌尔里奇;克劳斯·皮特·沃思;尤根·齐默 使用\（\Omega\）MEGA验证开发。 （英语） Zbl 1072.68591号 Andrei Voronkov（编辑），自动扣除-CADE-18。第18届国际会议，丹麦哥本哈根，2002年7月27日至30日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-43931-5）。莱克特。注释计算。科学。2392, 144-149 (2002). 小结：MEGA验证开发系统是MEGA研究小组几个相关且集成良好的研究项目的核心。关于整个系列，请参见[Zbl 0993.00050号]. 引用于7文件 MSC公司： 68吨15 定理证明（演绎、解析等）（MSC2010） 软件：欧米茄 PDF格式BibTeX公司 XML格式引用 \textit{J.Siekmann}等人，Lect。注释计算。科学。2392144-149（2002年；Zbl 1072.68591） 全文： 链接