OMEGA: Ressourcenadaptive Beweisplanung

, &

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,394

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

  • Only published works are available at libraries.

My notes

Similar books and articles

OMEGA: Resource-adaptive Proof Planning.Siekmann Jörg, Benzmüller Christoph & Melis Erica - 2004
OMEGA: Agent-oriented Proof Planning.Siekmann Jörg, Benzmüller Christoph & Autexier Serge - 2004
Organisation, Transformation, and Propagation of Mathematical Knowledge in Omega.Serge Autexier, Christoph Benzmüller, Dominik Dietrich & Marc Wagner - 2008 - Mathematics in Computer Science 2 (2):253-277.
Omega.Christoph Benzmüller, Armin Fiedler, Andreas Meier, Martin Pollet & Jörg Siekmann - 2006 - In Wiedijk Freek (ed.), The Seventeen Provers of the World. Springer. pp. 127-141.
PLATO: A Mediator between Text-Editors and Proof Assistance Systems.Wagner Marc, Autexier Serge & Benzmüller Christoph - 2007 - Electronic Notes in Theoretical Computer Science 174 (2):87-107.
Proof Development in OMEGA: The Irrationality of Square Root of 2.Siekmann Jörg, Benzmüller Christoph, Fiedler Armin, Meier Andreas, Normann Immanuel & Pollet Martin - 2003 - In Kamareddine Fairouz (ed.), Thirty Five Years of Automating Mathematics. Kluwer Academic Publishers. pp. 271-314.
OMEGA: Resource-Adaptive Processes in an Automated Reasoning Systems.Autexier Serge, Benzmüller Christoph, Dietrich Dominik & Siekmann Jörg - 2010 - In Matthew W. Crocker & Jörg Siekmann (eds.), Resource-Adaptive Cognitive Processes. Springer. pp. 389-423.
Computer supported mathematics with Ωmega.Jörg Siekmann, Christoph Benzmüller & Serge Autexier - 2006 - Journal of Applied Logic 4 (4):533-559.
An Interactive Proof Development Environment + Anticipation = A Mathematical Assistant?Siekmann Jörg, Horacek Helmut, Kohlhase Michael, Benzmüller Christoph, Cheikhrouhou Lassaad, Fehrer Detlef, Fiedler Armin, Hess Stephan, Konrad Karsten, Meier Andreas, Melis Erica & Sorge Volker - 1999 - International Journal of Computing Anticipatory Systems 3:101-110.
Integrating TPS and OMEGA.Christoph Benzmüller, Matt Bishop & Volker Sorge - 1999 - Journal of Universal Computer Science 5 (3):188-207.

Analytics

Added to PP
2017-12-04

Downloads
4 (#1,803,471)

6 months
2 (#1,685,650)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references