Computer supported mathematics with Ωmega

, &
Journal of Applied Logic 4 (4):533-559 (2006)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.jal.2005.10.008

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 103,388

External links

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

Through your library

My notes

Similar books and articles

Combined reasoning by automated cooperation.Christoph Benzmüller, Volker Sorge, Mateja Jamnik & Manfred Kerber - 2008 - Journal of Applied Logic 6 (3):318-342.
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, Resource-Adaptive Cognitive Processes. Springer. pp. 389-423.
Omega.Christoph Benzmüller, Armin Fiedler, Andreas Meier, Martin Pollet & Jörg Siekmann - 2006 - In Wiedijk Freek, The Seventeen Provers of the World. Springer. pp. 127-141.
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, Thirty Five Years of Automating Mathematics. Kluwer Academic Publishers. pp. 271-314.
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.
Automatic Learning of Proof Methods in Proof Planning.Mateja Jamnik, Manfred Kerber, Martin Pollet & Christoph Benzmüller - 2003 - Logic Journal of the IGPL 11 (6):647-673.
OMEGA: Agent-oriented Proof Planning.Siekmann Jörg, Benzmüller Christoph & Autexier Serge - 2004
OMEGA: Resource-adaptive Proof Planning.Siekmann Jörg, Benzmüller Christoph & Melis Erica - 2004
OMEGA: Ressourcenadaptive Beweisplanung.Siekmann Jörg, Benzmüller Christoph & Melis Erica - 2001
Interactive Theorem Proving with Tasks.Malte Hübner, Serge Autexier, Christoph Benzmüller & Andreas Meier - 2004 - Electronic Notes in Theoretical Computer Science 103 (C):161-181.

Analytics

Added to PP
2016-06-30

Downloads
30 (#787,710)

6 months
5 (#702,808)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Christoph Benzmueller
Freie Universität Berlin

Citations of this work

The Higher-Order Prover LEO-II.Christoph Benzmüller, Nik Sultana, Lawrence C. Paulson & Frank Theiß - 2015 - Journal of Automated Reasoning 55 (4):389-404.
Proof planning with multiple strategies.Erica Melis, Andreas Meier & Jörg Siekmann - 2008 - Artificial Intelligence 172 (6-7):656-684.
The curious inference of Boolos in MIZAR and OMEGA.Christoph Benzmüller & Chad Brown - 2007 - In Matuszewski Roman & Zalewska Anna, From Insight to Proof -- Festschrift in Honour of Andrzej Trybulec. The University of Bialystok, Polen. pp. 299-388.
Granularity Analysis for Mathematical Proofs.Marvin R. G. Schiller - 2013 - Topics in Cognitive Science 5 (2):251-269.

Add more citations

References found in this work

A Formulation of the Simple Theory of Types.Alonzo Church - 1940 - Journal of Symbolic Logic 5 (3):114-115.
Theory of Sets.Nicolas Bourbaki - 1975 - Journal of Symbolic Logic 40 (4):630-631.
Knowledge-based proof planning.Erica Melis & Jörg Siekmann - 1999 - Artificial Intelligence 115 (1):65-105.

View all 6 references / Add more references