ThEdu Preface

This volume contains the papers presented at ThEdu’13: International Workshop
on Theorem Proving Components for Educational Software held on July 10, 2013
in Bath, UK.
   There were 2 submissions. Each submission was reviewed by 3 program com-
mittee members. The committee decided to accept 2 papers.
   The ThEdu’13 is the second edition of the ThEdu workshops. ThEdu work-
shops intends 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 (MMA).


June 30, 2013                                                  Pedro Quaresma
Coimbra



Program Committee

Francisco Botana            University of Vigo at Pontevedra
Roman Hasek                 University of South Bohemia
Predrag Janicic             University of Belgrade
Filip Maric                 University of Belgrade
Julien Narboux              LSIIT, UMR 7005, CNRS-ULP, Université de Stras-
                            bourg
Walther Neuper              Graz University of Technology
Pedro Quaresma              Department of Mathematics, School of Science and
                            Technology, University of Coimbra
Vanda Santos                CISUC
Wolfgang Schreiner          Research Institute for Symbolic Computation
                            (RISC)
Makarius Wenzel             Université Paris-Sud 11
Burkhart Wolff              Univ Paris-Sud




                                       v