Siekmann, Jörg; Benzmüller, Christoph; Brezhnev, Vladimir; Cheikhrouhou, Lassaad; Fiedler, Armin; Franke, Andreas; Horacek, Helmut; Kohlhase, Michael; Meier, Andreas; Melis, Erica; Moschner, Markus; Normann, Immanuel; Pollet, Martin; Sorge, Volker; Ullrich, Carsten; Wirth, Claus-Peter; Zimmer, Jürgen Proof development with \(\Omega\)MEGA. (English) Zbl 1072.68591 Voronkov, Andrei (ed.), Automated deduction - CADE-18. 18th international conference, Copenhagen, Denmark, July 27–30, 2002. Proceedings. Berlin: Springer (ISBN 3-540-43931-5). Lect. Notes Comput. Sci. 2392, 144-149 (2002). Summary: The \(\Omega\)MEGA proof development system is the core of several related and well integrated research projects of the \(\Omega\)MEGA research group.For the entire collection see [Zbl 0993.00050]. Cited in 7 Documents MSC: 68T15 Theorem proving (deduction, resolution, etc.) (MSC2010) Software:OMEGA PDFBibTeX XMLCite \textit{J. Siekmann} et al., Lect. Notes Comput. Sci. 2392, 144--149 (2002; Zbl 1072.68591) Full Text: Link