EPTCS 79 - THedu'11 2011
Pedro Quaresma, Ralph-Johan Back (Eds.): Proceedings First Workshop on CTP Components for Educational Software. 2011 EPTCS 79 [ contents ]- Serge Autexier, Dominik Dietrich, Marvin Schiller: Towards an Intelligent Tutor for Mathematical Proofs. ... 1-28
- Ralph-Johan Back, Johannes Eriksson: An Exercise in Invariant-based Programming with Interactive and Automatic Theorem Prover Support. ... 29-48
- Filip Maric, Ivan Petrovic, Danijela Petrovic, Predrag Janicic: Formalization and Implementation of Algebraic Methods in Geometry. ... 63-81
- Walther Neuper: Automated Generation of User Guidance by Combining Computation and Deduction. ... 82-101
- Vanda Santos, Pedro Quaresma: Integrating DGSs and GATPs in an Adaptative and Collaborative Blended-Learning Web-Environment. ... 111-123
- Wolfgang Schreiner: Computer-Assisted Program Reasoning Based on a Relational Semantics of Programs. ... 124-142
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-17T202759 by the dblp team