第一届CTP教育软件组件研讨会论文集
系统与控制
2012-02-22 v1 计算机科学中的逻辑
数学软件
符号计算
摘要
THedu'11研讨会共收到13篇投稿，其中12篇被接收并在研讨会期间展示。会后论文集收到并接收了9篇投稿。这些投稿涉及以下在征稿通知中公布的主题：基于CTP的教育软件工具；CTP技术与新颖界面、拖放等的结合；访问与问题求解特定步骤相关的ITP知识的技术；关于表示ITP知识的可用性考虑；演绎与计算的结合；形式化问题规范；ATP在检查用户输入中的有效性；证明文档、几何构造等中演绎内容的格式；数学电子学习的形式化领域模型及应用。
引用
@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}
}