Year: 2002
2002
[15] Automatic Learning of Proof Methods in Proof Planning (Mateja Jamnik, Manfred Kerber, Martin Pollet, Christoph Benzmüller), In Proceedings of the 9th Workshop on Automated Reasoning: Bridging the Gap between Theory and Practice, pp. 1-2, 2002. [bibtex] [pdf]
[14] Reasoning Services in the MathWeb-SB for Symbolic Verification of Hybrid Systems (Christoph Benzmüller, Corrado Giromini, Andreas Nonnengart, Jürgen Zimmer), In Proceedings of the Verification Workshop - VERIFY'02 in connection with FLOC 2002, pp. 29-39, 2002. [bibtex] [pdf]
[13] Symbolic Verification of Hybrid Systems supported by Mathematical Services (Christoph Benzmüller, Corrado Giromini, Andreas Nonnengart), In Additonal Proceedings of 10th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning (CALCULEMUS 2002), pp. 1-10, 2002. [bibtex] [pdf]
[12] Agent-based Proof Search with Indexed Formulas (Malte Hübner, Serge Autexier, Christoph Benzmüller), In Additonal Proceedings of 10th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning (CALCULEMUS 2002), pp. 11-20, 2002. (slides) [bibtex] [pdf]
[11] Agent-based Theorem Proving (Christoph Benzmüller, Volker Sorge), In Proceedings of the 9th Workshop on Automated Reasoning: Bridging the Gap between Theory and Practice, pp. 1-3, 2002. [bibtex] [pdf]
[10] A remark on higher order RUE-resolution with EXTRUE (Christoph Benzmüller), Technical report, Saarland University, SEKI Publications (ISSN 1437-4447), number SR-02-05, pp. 1-5, 2002. (arXiv:0901.3608) [bibtex] [pdf]
[9] Automatic Learning of Proof Methods in Proof Planning (Mateja Jamnik, Manfred Kerber, Martin Pollet, Christoph Benzmüller), Technical report, University of Birmingham, School of Computer Science, number CSRP-02-05, pp. 1-34, 2002. [bibtex] [pdf]
[8] Irrationality of square root of 2 -- A case study in OMEGA (Christoph Benzmüller, Armin Fiedler, Andreas Meier, Martin Pollet), Technical report, Saarland University, SEKI Publications (ISSN 1437-4447), number SR-02-03, pp. 1-103, 2002. [bibtex] [pdf]
[7] Comparing Approaches to Resolution based Higher-Order Theorem Proving (Christoph Benzmüller), In Synthese, volume 133, number 1-2, pp. 203-235, 2002. [bibtex] [pdf] [doi]
[6] CALCULEMUS Autumn School 2002: Course Notes (Part III), (Christoph Benzmüller, Regine Endsuleit, eds.), SEKI Publications (ISSN 1437-4447), number SR-02-09, 2002. (121 pages) [bibtex] [pdf]
[5] CALCULEMUS Autumn School 2002: Course Notes (Part II), (Christoph Benzmüller, Regine Endsuleit, eds.), SEKI Publications (ISSN 1437-4447), number SR-02-08, pp. 1-130, 2002. ((130 pages)) [bibtex] [pdf]
[4] CALCULEMUS Autumn School 2002: Course Notes (Part I), (Christoph Benzmüller, Regine Endsuleit, eds.), SEKI Publications (ISSN 1437-4447), number SR-02-07, pp. 1-168, 2002. ((168 pages)) [bibtex] [pdf]
[3] CALCULEMUS Autumn School 2002: Student Poster Abstracts, (Jürgen Zimmer, Christoph Benzmüller, eds.), SEKI Publications (ISSN 1437-4447), number SR-02-06, pp. 1-116, 2002. ((115 pages)) [bibtex] [pdf]
[2] Proof Development with OMEGA: Sqrt(2) is irrational (Jörg Siekmann, Christoph Benzmüller, Armin Fiedler, Andreas Meier, Martin Pollet), In Logic for Programming, Artificial Intelligence, and Reasoning, 9th International Conference, LPAR 2002 (Matthias Baaz, Andrei Voronkov, eds.), Springer, LNCS, number 2514, pp. 367-387, 2002. (slides) [bibtex] [pdf]
[1] Proof Development with OMEGA (Jörg Siekmann, Christoph Benzmüller, Vladimir Brezhnev, Lassaad Cheikhrouhou, Armin Fiedler, Andreas Franke, Helmut Horacek, Michael Kohlhase, Andreas Meier, Erica Melis, Markus Moschner, Immanuel Normann, Martin Pollet, Volker Sorge, Carsten Ullrich, Claus-Peter Wirth, Jürgen Zimmer), In Proceedings of the 18th International Conference on Automated Deduction (CADE-18) (Andrei Voronkov, ed.), Springer, LNCS, number 2392, pp. 144-149, 2002. (slides) [bibtex] [pdf] [doi]
Powered by bibtexbrowser