ThEdu-14 Preface

This volume contains the extended abstracts and demonstrations presented at
ThEdu-14: Workshop on Theorem Proving Components for Educational Soft-
ware, hosted by CICM held on July 9, 2014 in Coimbra.
    There were 4 submissions. Each submission was reviewed by at least 3 pro-
gram 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 ar-
eas to enhance existing educational software as well as studying the design of
the next generation of mechanised mathematics assistants.




June 30, 2014                                                 Walther Neuper
Linz



Program Committee


Francisco Botana            University of Vigo at Pontevedra
Roman Hašek                University of South Bohemia
Filip Maric                 University of Belgrade
Walther Neuper              Graz University of Technology
Pedro Quaresma              University of Coimbra
Vanda Santos                CISUC, Portugal
Wolfgang Schreiner          Research Institute for Symbolic Computation
                            (RISC)