Proof Step Analysis for Proof Tutoring – A Learning Approach to Granularity. Schiller, M., Dietrich, D., & Benzmüller, C. Teaching Mathematics and Computer Science, 6(2):325-343, 2008.
Preprint
Paper bibtex @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},
url_preprint = {http://christoph-benzmueller.de/papers/J19.pdf},
url = {http://tmcs.math.unideb.hu/load_doc.php?p=142&t=doc},
Volume = 6,
Year = 2008,
}
Downloads: 0
{"_id":"qTuoer2KkZpfshA5T","bibbaseid":"schiller-dietrich-benzmller-proofstepanalysisforprooftutoringalearningapproachtogranularity-2008","author_short":["Schiller, M.","Dietrich, D.","Benzmüller, C."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Marvin"],"propositions":[],"lastnames":["Schiller"],"suffixes":[]},{"firstnames":["Dominik"],"propositions":[],"lastnames":["Dietrich"],"suffixes":[]},{"firstnames":["Christoph"],"propositions":[],"lastnames":["Benzmüller"],"suffixes":[]}],"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","url_preprint":"http://christoph-benzmueller.de/papers/J19.pdf","url":"http://tmcs.math.unideb.hu/load_doc.php?p=142&t=doc","volume":"6","year":"2008","bibtex":"@article{J19,\n Author =\t {Marvin Schiller and Dominik Dietrich and Christoph\n Benzm{\\\"u}ller},\n Issn =\t {1589-7389},\n Journal =\t {Teaching Mathematics and Computer Science},\n Keywords =\t {own, Proof Presentation, DIALOG, Natural Language\n Dialog, Proof Assistants, Machine Learning, Tutoring\n Systems},\n Number =\t 2,\n Pages =\t {325-343},\n Title =\t {Proof Step Analysis for Proof Tutoring -- A Learning\n Approach to Granularity},\n url_preprint = {http://christoph-benzmueller.de/papers/J19.pdf},\n url =\t\t {http://tmcs.math.unideb.hu/load_doc.php?p=142&t=doc},\n Volume =\t 6,\n Year =\t 2008,\n}\n\n","author_short":["Schiller, M.","Dietrich, D.","Benzmüller, C."],"key":"J19","id":"J19","bibbaseid":"schiller-dietrich-benzmller-proofstepanalysisforprooftutoringalearningapproachtogranularity-2008","role":"author","urls":{" preprint":"http://christoph-benzmueller.de/papers/J19.pdf","Paper":"http://tmcs.math.unideb.hu/load_doc.php?p=142&t=doc"},"keyword":["own","Proof Presentation","DIALOG","Natural Language Dialog","Proof Assistants","Machine Learning","Tutoring Systems"],"metadata":{"authorlinks":{}},"html":""},"bibtype":"article","biburl":"http://page.mi.fu-berlin.de/cbenzmueller/papers/chris.bib","dataSources":["ckRabafyoGpACyPpf"],"keywords":["own","proof presentation","dialog","natural language dialog","proof assistants","machine learning","tutoring systems"],"search_terms":["proof","step","analysis","proof","tutoring","learning","approach","granularity","schiller","dietrich","benzmüller"],"title":"Proof Step Analysis for Proof Tutoring – A Learning Approach to Granularity","year":2008}