PROOF GRANULARITY AS AN EMPIRICAL PROBLEM?

Marvin Schiller, Christoph Benzmüller

2009

Abstract

Even in introductory textbooks on mathematical proof, intermediate proof steps are generally skipped when this seems appropriate. This gives rise to different granularities of proofs, depending on the intended audience and the context in which the proof is presented. We have developed a mechanism to classify whether proof steps of different sizes are appropriate in a tutoring context. The necessary knowledge is learnt from expert tutors via standard machine learning techniques from annotated examples. We discuss the ongoing evaluation of our approach via empirical studies.

Paper Citation

in Harvard Style

Schiller M. and Benzmüller C. (2009). PROOF GRANULARITY AS AN EMPIRICAL PROBLEM? . In Proceedings of the First International Conference on Computer Supported Education - Volume 1: CSEDU, ISBN 978-989-8111-82-1, pages 350-354. DOI: 10.5220/0002159603500354

in Bibtex Style

@conference{csedu09,
author={Marvin Schiller and Christoph Benzmüller},
title={PROOF GRANULARITY AS AN EMPIRICAL PROBLEM?},
booktitle={Proceedings of the First International Conference on Computer Supported Education - Volume 1: CSEDU,},
year={2009},
pages={350-354},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002159603500354},
isbn={978-989-8111-82-1},
}

in EndNote Style

TY - CONF
JO - Proceedings of the First International Conference on Computer Supported Education - Volume 1: CSEDU,
TI - PROOF GRANULARITY AS AN EMPIRICAL PROBLEM?
SN - 978-989-8111-82-1
AU - Schiller M.
AU - Benzmüller C.
PY - 2009
SP - 350
EP - 354
DO - 10.5220/0002159603500354