THedu'12 Workshop

THedu'12 is the 2nd International Workshop on Computer Theorem Proving Components for Educational Software. This workshop intends to gather the research communities for Computer Theorem proving (CTP), Automated Theorem Proving (ATP), Interactive Theorem Proving (ITP), as well as Computer Algebra Systems (CAS) and Dynamic Geometry Systems (DGS). The goal of this union is to combine and focus systems of these areas to enhance existing educational software as well as studying the design of the next generation of mechanised mathematics assistants (MMA).

Due to a low number of submission the Workshop was canceled.