An Interactive Proof Development Environment + Anticipation = A Mathematical Assistant?

, , , , , , , , , , &
International Journal of Computing Anticipatory Systems 3:101-110 (1999)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,503

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

LOUI: Lovely OMEGA User Interface.Siekmann Jörg, Hess Stephan, Benzmüller Christoph, Cheikhrouhou Lassaad, Fiedler Armin, Horacek Helmut, Kohlhase Michael, Konrad Karsten, Meier Andreas, Melis Erica, Pollet Martin & Sorge Volker - 1999 - Formal Aspects of Computing 11 (3):326-342.
Integrating TPS and OMEGA.Christoph Benzmüller, Matt Bishop & Volker Sorge - 1999 - Journal of Universal Computer Science 5 (3):188-207.
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 Fairouz Kamareddine (ed.), Thirty Five Years of Automating Mathematics. Kluwer Academic Publishers. pp. 271-314.
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
Omega.Christoph Benzmüller, Armin Fiedler, Andreas Meier, Martin Pollet & Jörg Siekmann - 2006 - In Freek Wiedijk (ed.), The Seventeen Provers of the World. Springer. pp. 127-141.
OMEGA: Agent-oriented Proof Planning.Siekmann Jörg, Benzmüller Christoph & Autexier Serge - 2004
Integrating Proof Assistants as Reasoning and Verification Tools into a Scientific WYSIWYG Editor.Autexier Serge, Benzmüller Christoph, Fiedler Armin & Lesourd Henri - 2005
Computer supported mathematics with Ωmega.Jörg Siekmann, Christoph Benzmüller & Serge Autexier - 2006 - Journal of Applied Logic 4 (4):533-559.
Assertion-level Proof Representation with Under-Specification.Serge Autexier, Christoph Benzmüller, Armin Fiedler, Helmut Horacek & Bao Quoc Vo - 2004 - Electronic Notes in Theoretical Computer Science 93:5-23.
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.
The curious inference of Boolos in MIZAR and OMEGA.Christoph Benzmüller & Chad Brown - 2007 - In Matuszewski Roman & Zalewska Anna (eds.), From Insight to Proof -- Festschrift in Honour of Andrzej Trybulec. The University of Bialystok, Polen. pp. 299-388.
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.
Resource-Bounded Modelling and Analysis of Human-Level Interactive Proofs.Benzmüller Christoph, Schiller Marvin & Siekmann Jörg - 2010 - In Matthew W. Crocker & Jörg Siekmann (eds.), Resource-Adaptive Cognitive Processes. Springer. pp. 291-311.

Analytics

Added to PP
2017-12-04

Downloads
1 (#1,897,693)

6 months
1 (#1,472,167)

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
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