ThEdu

Keyphrases

Publications

2011

Serge Autexier, Dominik Dietrich, Marvin R. G. Schiller
Towards an Intelligent Tutor for Mathematical Proofs ThEdu (2011)
Jordi Saludes, Sebastian Xambó
The GF Mathematics Library ThEdu (2011)
Wolfgang Schreiner
Computer-Assisted Program Reasoning Based on a Relational Semantics of Programs ThEdu (2011)
Walther Neuper
Automated Generation of User Guidance by Combining Computation and Deduction ThEdu (2011)
Filip Maric, Ivan Petrovic, Danijela Petrovic, Predrag Janicic
Formalization and Implementation of Algebraic Methods in Geometry ThEdu (2011)
Ralph-Johan Back, Johannes Eriksson
An Exercise in Invariant-based Programming with Interactive and Automatic Theorem Prover Support ThEdu (2011)
Vanda Santos, Pedro Quaresma
Integrating DGSs and GATPs in an Adaptative and Collaborative Blended-Learning Web-Environment ThEdu (2011)
Francisco Botana, Miguel A. Abánades
Automatic Deduction in Dynamic Geometry using Sage ThEdu (2011)
Makarius Wenzel, Burkhart Wolff
Isabelle/PIDE as Platform for Educational Tools ThEdu (2011)

volume 79, 2011

Proceedings First Workshop on CTP Components for Educational Software, THedu'11, Wroclaw, Poland, 31th July 2011. ThEdu 79 (2011)