- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Assertion-level Proof Representation with Under-Specification
Electronic Notes in Theoretical Computer Science 93:5-23 (2004)
Abstract
This article has no associated abstract. (fix it)Author's Profile
Links
PhilArchive
External links
(no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Through your library
- Sign in / register and customize your OpenURL resolver
- Configure custom resolver
My notes
Similar books and articles
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.
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.
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.
Computer supported mathematics with Ωmega.Jörg Siekmann, Christoph Benzmüller & Serge Autexier - 2006 - Journal of Applied Logic 4 (4):533-559.
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.
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.
Preface: Proceedings of the 7th Workshop on User Interfaces for Theorem Provers.Autexier Serge & Benzmüller Christoph - 2007 - Electronic Notes in Theoretical Computer Science 174 (2):1-2.
Analytics
Added to PP
2017-12-04
Downloads
17 (#863,839)
6 months
3 (#1,206,449)
2017-12-04
Downloads
17 (#863,839)
6 months
3 (#1,206,449)
Historical graph of downloads
Author's Profile
Citations of this work
Computer supported mathematics with Ωmega.Jörg Siekmann, Christoph Benzmüller & Serge Autexier - 2006 - Journal of Applied Logic 4 (4):533-559.
Supporting the formal verification of mathematical texts.Claus Zinn - 2006 - Journal of Applied Logic 4 (4):592-621.
DIALOG: Natural Language-based Interaction with a Mathematics Assistance System.Pinkal Manfred, Siekmann Jörg, Benzmüller Christoph & Kruijff-Korbayova Ivana - 2004
DIALOG: Tutorial Dialog with an Assistance System for Mathematics.Pinkal Manfred, Siekmann Jörg & Benzmüller Christoph - 2004
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.
References found in this work
A refinement of de bruijn's formal language of mathematics.Fairouz Kamareddine & Rob Nederpelt - 2004 - Journal of Logic, Language and Information 13 (3):287-340.
The effect of resource limits and task complexity on collaborative planning in dialogue.M. A. Walker - 1996 - Artificial Intelligence 84 (1-2):355.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-6686886f5-ktvwr uwo