Proceedings First Workshop on CTP Components for Educational Software
Abstract
The THedu'11 workshop received thirteen submissions, twelve of which were accepted and presented during the workshop. For the post-conference proceedings nine submission where received and accepted. The submissions are within the scope of the following points, which have been announced in the call of papers: CTP-based software tools for education; CTP technology combined with novel interfaces, drag and drop, etc.; technologies to access ITP knowledge relevant for a certain step of problem solving; usability considerations on representing ITP knowledge; combination of deduction and computation; formal problem specifications; effectiveness of ATP in checking user input; formats for deductive content in proof documents, geometric constructions, etc; formal domain models for e-learning in mathematics and applications.
Cite
@article{arxiv.1202.4535,
title = {Proceedings First Workshop on CTP Components for Educational Software},
author = {Pedro Quaresma and Ralph-Johan Back},
journal= {arXiv preprint arXiv:1202.4535},
year = {2012}
}