马克·瓦格纳;谢尔盖·奥特西尔;克里斯托夫·本穆勒 小块地{\(\Omega\)}:文本编辑器和证据辅助系统之间的中介。 (英语) Zbl 1278.68284号 Autexier,Serge(编辑)等人,第七届定理证明器用户界面研讨会论文集(UITP 2006),西雅图,华盛顿州,美国,2006年8月21日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》174,第2期,87-107(2007)。MSC公司:68吨15 68立方英尺 68平方英寸15 PDF格式BibTeX公司 XML格式引用 \textit{M.Wagner}等人,《电子》。注释Theor。计算。科学。174,第2号,87--107(2007;Zbl 1278.68284) 全文: 内政部
约格·西克曼;克里斯托夫·本穆勒;谢尔盖·奥特西尔 计算机支持的数学与\(\Omega\)MEGA。 (英语) Zbl 1107.68101号 J.应用。日志。 4,第4期,533-559(2006).MSC公司:68吨15 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{J.Siekmann}等人,J.Appl。日志。4,第4号,533--559(2006;Zbl 1107.68101) 全文: 内政部