Sorge, Volker; Colton, Simon; McCasland, Roy; Meier, Andreas Classification results in quasigroup and loop theory via a combination of automated reasoning tools. (English) Zbl 1192.20062 Commentat. Math. Univ. Carol. 49, No. 2, 319-339 (2008). Reviewer: David Stanovský (Praha) MSC: 20N05 68T15 68W30 PDFBibTeX XMLCite \textit{V. Sorge} et al., Commentat. Math. Univ. Carol. 49, No. 2, 319--339 (2008; Zbl 1192.20062) Full Text: EuDML EMIS
Sorge, Volker; Meier, Andreas; McCasland, Roy; Colton, Simon Automatic construction and verification of isotopy invariants. (English) Zbl 1139.68050 J. Autom. Reasoning 40, No. 2-3, 221-243 (2008). MSC: 68T15 68W30 PDFBibTeX XMLCite \textit{V. Sorge} et al., J. Autom. Reasoning 40, No. 2--3, 221--243 (2008; Zbl 1139.68050) Full Text: DOI
Sorge, Volker; Meier, Andreas; McCasland, Roy; Colton, Simon Automatic construction and verification of isotopy invariants. (English) Zbl 1214.68337 Furbach, Ulrich (ed.) et al., Automated reasoning. Third international joint conference, IJCAR 2006, Seattle, WA, USA, August 17–20, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-37187-8/pbk). Lecture Notes in Computer Science 4130. Lecture Notes in Artificial Intelligence, 36-51 (2006). MSC: 68T15 PDFBibTeX XMLCite \textit{V. Sorge} et al., Lect. Notes Comput. Sci. 4130, 36--51 (2006; Zbl 1214.68337) Full Text: DOI
Meier, Andreas; Sorge, Volker Applying SAT solving in classification of finite algebras. (English) Zbl 1109.68103 J. Autom. Reasoning 35, No. 1-3, 201-235 (2005). MSC: 68T20 PDFBibTeX XMLCite \textit{A. Meier} and \textit{V. Sorge}, J. Autom. Reasoning 35, No. 1--3, 201--235 (2005; Zbl 1109.68103) Full Text: DOI Link
Benzmüller, Christoph; Meier, Andreas; Sorge, Volker Bridging theorem proving and mathematical knowledge retrieval. (English) Zbl 1098.68696 Hutter, Dieter (ed.) et al., Mechanizing mathematical reasoning. Essays in honor of Jörg H. Siekmann on the occasion of his 60th birthday. Berlin: Springer (ISBN 3-540-25051-4/pbk). Lecture Notes in Computer Science 2605. Lecture Notes in Artificial Intelligence, 277-296 (2005). MSC: 68T15 68T30 68P20 PDFBibTeX XMLCite \textit{C. Benzmüller} et al., Lect. Notes Comput. Sci. 2605, 277--296 (2005; Zbl 1098.68696) Full Text: DOI
Meier, Andreas; Sorge, Volker A new set of algebraic benchmark problems for SAT solvers. (English) Zbl 1128.68476 Bacchus, Fahiem (ed.) et al., Theory and applications of satisfiability testing. 8th international conference, SAT 2005, St Andrews, UK, June 19–23, 2005. Proceedings. Berlin: Springer (ISBN 3-540-26276-8/pbk). Lecture Notes in Computer Science 3569, 459-466 (2005). MSC: 68T20 PDFBibTeX XMLCite \textit{A. Meier} and \textit{V. Sorge}, Lect. Notes Comput. Sci. 3569, 459--466 (2005; Zbl 1128.68476) Full Text: DOI
Colton, Simon; Meier, Andreas; Sorge, Volker; McCasland, Roy Automatic generation of classification theorems for finite algebras. (English) Zbl 1126.68562 Basin, David (ed.) et al., Automated reasoning. Second international joint conference, IJCAR 2004, Cork, Ireland, July 4–8, 2004. Proceedings. Berlin: Springer (ISBN 3-540-22345-2/pbk). Lecture Notes in Computer Science 3097. Lecture Notes in Artificial Intelligence, 400-414 (2004). MSC: 68T15 08-04 20-04 PDFBibTeX XMLCite \textit{S. Colton} et al., Lect. Notes Comput. Sci. 3097, 400--414 (2004; Zbl 1126.68562) Full Text: DOI
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). MSC: 68T15 PDFBibTeX XMLCite \textit{J. Siekmann} et al., Lect. Notes Comput. Sci. 2392, 144--149 (2002; Zbl 1072.68591) Full Text: Link
Meier, Andreas; Sorge, Volker; Colton, Simon Employing theory formation to guide proof planning. (English) Zbl 1072.68582 Calmet, Jacques (ed.) et al., Artificial intelligence, automated reasoning, and symbolic computation. Joint international conferences: AISC 2002, the 6th international conference on artificial intelligence and symbolic computation, and Calculemus 2002, the 10th symposium on the integration of symbolic computation and mechanized reasoning. Marseille, France, July 1–5, 2002. Proceedings. Berlin: Springer (ISBN 3-540-43865-3). Lect. Notes Comput. Sci. 2385, 275-289 (2002). MSC: 68T15 68W30 PDFBibTeX XMLCite \textit{A. Meier} et al., Lect. Notes Comput. Sci. 2385, 275--289 (2002; Zbl 1072.68582) Full Text: Link
Meier, Andreas; Pollet, Martin; Sorge, Volker Comparing approaches to the exploration of the domain of residue classes. (English) Zbl 1038.68110 J. Symb. Comput. 34, No. 4, 287-306 (2002). MSC: 68T15 68W30 PDFBibTeX XMLCite \textit{A. Meier} et al., J. Symb. Comput. 34, No. 4, 287--306 (2002; Zbl 1038.68110) Full Text: DOI Link
Meier, Andreas; Pollet, Martin; Sorge, Volker Classifying isomorphic residue classes. (English) Zbl 1023.68883 Moreno-Díaz, Roberto (ed.) et al., Computer aided systems theory - EUROCAST 2001. A selection of papers from the 8th international workshop, Las Palmas de Gran Canaria, Spain, February 19-23, 2001. Revised papers. Berlin: Springer. Lect. Notes Comput. Sci. 2178, 494-508 (2001). MSC: 68W30 PDFBibTeX XMLCite \textit{A. Meier} et al., Lect. Notes Comput. Sci. 2178, 494--508 (2001; Zbl 1023.68883) Full Text: Link
Benzmüller, Christoph; Meier, Andreas; Sorge, Volker Distributed assertion retrieval. (English) Zbl 0996.68510 Buchberger, Bruno (ed.) et al., Mathematical knowledge management: MKM 2001. Electronic proceedings of the 1st international workshop, RISC, Schloß Hagenberg, Austria, September 24-26, 2001. Linz: Univ. Linz, 7 p. (2001). MSC: 68P20 PDFBibTeX XMLCite \textit{C. Benzmüller} et al., in: Mathematical knowledge management: MKM 2001. Electronic proceedings of the 1st international workshop, RISC, Schloß Hagenberg, Austria, September 24--26, 2001. Linz: Univ. Linz. 7 p. (2001; Zbl 0996.68510) Full Text: Link
Meier, Andreas; Sorge, Volker Exploring properties of residue classes. (English) Zbl 0986.68132 Kerber, Manfred (ed.) et al., Symbolic computation and automated reasoning. The CALCULEMUS-2000 symposium. 8th symposium on the integration of symbolic computation and mechanized reasoning, St. Andrews, Scotland, GB, August 6-7, 2000. Natick, MA: A. K. Peters. 175-190 (2001). MSC: 68T15 PDFBibTeX XMLCite \textit{A. Meier} and \textit{V. Sorge}, in: Symbolic computation and automated reasoning. The CALCULEMUS-2000 symposium. 8th symposium on the integration of symbolic computation and mechanized reasoning, St. Andrews, Scotland, GB, August 6--7, 2000. Natick, MA: A. K. Peters. 175--190 (2001; Zbl 0986.68132)
Benzmüller, Christoph; Cheikhrouhou, Lassaad; Fehrer, Detlef; Fiedler, Armin; Huang, Xiaorong; Kerber, Manfred; Kohlhase, Michael; Konrad, Karsten; Meier, Andreas; Melis, Erica; Schaarschmidt, Wolf; Siekmann, Jörg; Sorge, Volker \(\Omega\)mega: towards a mathematical assistant. (English) Zbl 1430.68393 McCune, William (ed.), Automated deduction – CADE-14. 14th international conference on automated deduction, Townsville, North Queensland, Australia. July 13–17, 1997. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1249, 252-255 (1997). MSC: 68V15 68V20 PDFBibTeX XMLCite \textit{C. Benzmüller} et al., Lect. Notes Comput. Sci. 1249, 252--255 (1997; Zbl 1430.68393) Full Text: DOI