Proof Step Analysis for Proof Tutoring -- A Learning Approach to Granularity (bibtex)
by Marvin Schiller, Dominik Dietrich, Christoph Benzmüller
Reference:
Proof Step Analysis for Proof Tutoring -- A Learning Approach to Granularity (Marvin Schiller, Dominik Dietrich, Christoph Benzmüller), In Teaching Mathematics and Computer Science, volume 6, number 2, pp. 325-343, 2008. (Url (preprint): http://christoph-benzmueller.de/papers/J19.pdf)
Bibtex Entry:
@article{J19,
  Author =	 {Marvin Schiller and Dominik Dietrich and Christoph
                  Benzm{\"u}ller},
  Issn =	 {1589-7389},
  Journal =	 {Teaching Mathematics and Computer Science},
  Keywords =	 {own, Proof Presentation, DIALOG, Natural Language
                  Dialog, Proof Assistants, Machine Learning, Tutoring
                  Systems},
  Number =	 2,
  Pages =	 {325-343},
  Title =	 {Proof Step Analysis for Proof Tutoring -- A Learning
                  Approach to Granularity},
  Note =	 {Url (preprint):
                  \url{http://christoph-benzmueller.de/papers/J19.pdf}},
  Volume =	 6,
  Year =	 2008,
}
Powered by bibtexbrowser