Computer Science – Systems and Control
Scientific paper
2012-02-21
EPTCS 79, 2012
Computer Science
Systems and Control
Scientific paper
10.4204/EPTCS.79
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.
Back Ralph-Johan
Quaresma Pedro
No associations
LandOfFree
Proceedings First Workshop on CTP Components for Educational Software does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Proceedings First Workshop on CTP Components for Educational Software, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Proceedings First Workshop on CTP Components for Educational Software will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-422591