Works by Schiller, Marvin R. G. (exact spelling)

  1.  66
    Granularity Analysis for Mathematical Proofs.Marvin R. G. Schiller - 2013 - Topics in Cognitive Science 5 (2):251-269.
    Mathematical proofs generally allow for various levels of detail and conciseness, such that they can be adapted for a particular audience or purpose. Using automated reasoning approaches for teaching proof construction in mathematics presupposes that the step size of proofs in such a system is appropriate within the teaching context. This work proposes a framework that supports the granularity analysis of mathematical proofs, to be used in the automated assessment of students' proof attempts and for the presentation of hints and (...)
    Direct download (6 more)  
    Export citation  
  2. Granularity Analysis for Tutoring Mathematical Proofs.Marvin R. G. Schiller - 2011 - Aka Verlag.