Proof Step Analysis for Proof Tutoring -- A Learning Approach to Granularity

, &
Teaching Mathematics and Computer Science 6 (2):325-343 (2008)
  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,386

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

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.
DIALOG: Tutorial Dialog with an Assistance System for Mathematics.Pinkal Manfred, Siekmann Jörg & Benzmüller Christoph - 2004
DIALOG: Tutorieller Dialog mit einem Mathematik Assistenzsystem.Pinkal Manfred, Siekmann Jörg & Benzmüller Christoph - 2001
DIALOG: Natural Language-based Interaction with a Mathematics Assistance System.Pinkal Manfred, Siekmann Jörg, Benzmüller Christoph & Kruijff-Korbayova Ivana - 2004
Natural Language Dialog with a Tutor System for Mathematical Proofs.Christoph Benzmüller, Helmut Horacek, Ivana Kruijff-Korbayova, Manfred Pinkal, Jörg Siekmann & Magdalena Wolska - 2007 - In Ruqian Lu, Jörg Siekmann & Carsten Ullrich (eds.), Cognitive Systems: Joint Chinese-German Workshop, Shanghai, China, March 7-11, 2005, Revised Selected Papers. Springer. pp. 1-14.
Granularity Analysis for Mathematical Proofs.Marvin R. G. Schiller - 2013 - Topics in Cognitive Science 5 (2):251-269.
Integrating Proof Assistants as Reasoning and Verification Tools into a Scientific WYSIWYG Editor.Autexier Serge, Benzmüller Christoph, Fiedler Armin & Lesourd Henri - 2005
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.
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.
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.
Granularity analysis for tutoring mathematical proofs.Marvin R. G. Schiller - 2011 - [Heidelberg]: AKA Verlag.
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.
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
Proof Analysis: A Contribution to Hilbert's Last Problem.Sara Negri & Jan von Plato - 2011 - Cambridge and New York: Cambridge University Press. Edited by Jan Von Plato.

Analytics

Added to PP
2017-12-04

Downloads
20 (#747,345)

6 months
3 (#992,474)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Christoph Benzmueller
Freie Universität Berlin

Citations of this work

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

No references found.

Add more references