Keywords: Mathematical Knowledge Management
2008
[9] OMEGA: Agent-oriented Proof Planning (Jörg Siekmann, Serge Autexier, Christoph Benzmüller), pp. 1-19, 2008. (Project report in the Collaborative Research Centre SFB 378 on Resource-adaptive Cognitive Processes) [bibtex] [pdf]
[8] Organisation, Transformation, and Propagation of Mathematical Knowledge in Omega (Serge Autexier, Christoph Benzmüller, Dominik Dietrich, Marc Wagner), In Mathematics in Computer Science, volume 2, number 2, pp. 253-277, 2008. [bibtex] [pdf] [doi]
2007
[7] PLATO: A Mediator between Text-Editors and Proof Assistance Systems (Marc Wagner, Serge Autexier, Christoph Benzmüller), In Electronic Notes in Theoretical Computer Science, volume 174, number 2, pp. 87-107, 2007. [bibtex] [pdf] [doi]
2004
[6] OMEGA: Agent-oriented Proof Planning (Jörg Siekmann, Christoph Benzmüller, Serge Autexier), pp. 1-26, 2004. (Project proposal in the Collaborative Research Centre SFB 378 on Resource-adaptive Cognitive Processes) [bibtex] [pdf]
[5] OMEGA: Resource-adaptive Proof Planning (Jörg Siekmann, Christoph Benzmüller, Erica Melis), pp. 1-22, 2004. (Project report in the Collaborative Research Centre SFB 378 on Resource-adaptive Cognitive Processes) [bibtex] [pdf]
[4] Bridging Theorem Proving and Mathematical Knowledge Retrieval (Christoph Benzmüller, Andreas Meier, Volker Sorge), Chapter in Mechanizing Mathematical Reasoning: Essays in Honor of Jörg Siekmann on the Occasion of His 60th Birthday (Dieter Hutter, Werner Stephan, eds.), Springer, LNCS, volume 2605, pp. 277-296, 2004. [bibtex] [pdf] [doi]
2003
[3] OMEGA --- From Proof Planning towards Mathematical Knowledge Management (Serge Autexier, Christoph Benzmüller), In Mathematical Knowledge Management Symposium, 2003. (slides) [bibtex] [pdf]
2002
[2] 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]
2001
[1] OMEGA: Ressourcenadaptive Beweisplanung (Jörg Siekmann, Christoph Benzmüller, Erica Melis), pp. 1-30, 2001. (Project proposal in the Collaborative Research Centre SFB 378 on Resource-adaptive Cognitive Processes) [bibtex] [pdf]
Powered by bibtexbrowser