@inproceedings{pub5725,
    series = {CISUC Technical Report},
    abstract = {To know how to do proofs is a skill that is essential for every
mathematician and scientist. Hence, learning how to do proofs is a
major part in the education of students of mathematics and modern
science. Intelligent tutoring systems are an attractive vehicle to
make high-quality teaching and training environments available for a
wide public. There are two main approaches: Model tracing tutors,
which are process-centric and try to fathom the process a student
arrived at a solution, and constraint based tutors, which are
product-centric and are based on the idea that diagnostic information
is not in the sequence of actions leading to the problem state, but
solely in the problem state itself.
This paper gives a concise summary of our work in the context of
computer theorem proving, highlighting the techniques from the theorem
proving community that are used and which have been successfully
evaluated in experiments with computer-based tutoring of proofs in
naive set theory. },
    number = {2011/001},
    month = {7},
    year = {2011},
    title = {Cognitive Tutoring in Mathematics based on Assertion Level Reasoning and Proof Strategies (Extended Abstract)},
    booktitle = {THedu'11, Workshop associated to CADE-23. THedu - CTP Components for Educational Software (ThEdu-11), located at Conference on Automated Deduction, July 31, Wroclaw, Poland},
    editor = {Pedro Quaresma and Ralph-Johan Back},
    pages = {11-15},
    publisher = {University of Coimbra, Portugal},
    author = {Serge Autexier and Dominik Dietrich and Marvin Schiller},
    organization = {Center for Informatics and Systems, University of Coimbra, Portugal},
    url = {http://www.uc.pt/en/congressos/thedu/proceedings http://www.dfki.de/web/kompetenz/ccel/publikationen/renameFileForDownload?filename=ThEdu11.pdf&file_id=uploads_1227}
}