Proceedings First Workshop on CTP Components for Educational Software
Pedro Quaresma (University of Coimbra, Portugal), Ralph-Johan Back, ({\AA}bo Akademi University, Finland)

TL;DR
This workshop proceedings paper summarizes the accepted submissions focused on CTP components and technologies for educational software, covering tools, interfaces, knowledge access, and formal models to enhance e-learning and problem solving.
Contribution
It compiles recent research contributions on CTP-based educational tools, highlighting innovations in interfaces, knowledge representation, and formal problem specifications.
Findings
Advances in CTP-based educational tools
Integration of deduction and computation in learning systems
Evaluation of ATP effectiveness in user input validation
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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
