@inproceedings{ADS-11-a, author = {Serge Autexier and Dominik Dietrich and Marvin Schiller}, editor = {Pedro Quaresma and Ralph-Johan Back}, booktitle = {Proceedings First Workshop on CTP Components for Educational Software (THedu'11)}, title = {Towards an Intelligent Tutor for Mathematical Proofs}, volume = {79}, series = {EPTCS}, pages = {1-28}, month = {february}, year = {2012}, }