ThEdu'14 - Theorem Provers Components for Educational Software
THedu is a forum to gather the research communities for Automated Theorem Proving (ATP), Interactive Theorem Proving (ITP) as well as for Computer Algebra Systems (CAS), Dynamic Geometry Systems (DGS) and Mathematical Education. The goal of this union is to combine and focus systems of these areas and to enhance existing educational software as well as studying the design of the next generation of mechanised mathematics assistants.
Elements for next-generation assistants include:
In principle, mathematical software can be conceived as models of mathematics: The challenge addressed by this workshop is to provide appealing models for mathematics assistants which are interactive and which explain themselves such that interested students can independently learn by inquiry and experimentation.
Conferences on Intelligent Computer Mathematics
7.-11. July 2014
Last modified: December 19 2016 18:02:46 CET