ThEdu-14 Preface Program Committee 0 Walther Neuper 0 University of Vigo at Pontevedra University of South Bohemia University of Belgrade Graz University of Technology University of Coimbra CISUC, Portugal Research Institute for Symbolic , RISC

This volume contains the extended abstracts and demonstrations presented at ThEdu-14: Workshop on Theorem Proving Components for Educational Software, hosted by CICM held on July 9, 2014 in Coimbra. There were 4 submissions. Each submission was reviewed by at least 3 program committee members. The committee decided to accept all contributions. ThEdu'14 is the third edition of the ThEdu workshops. ThEdu workshops intend to gather the research communities for computer Theorem proving (TP), 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.

 Computation