• Aucun résultat trouvé

ThEdu Preface

N/A
N/A
Info
Télécharger
Protected

Academic year: 2022

Partager "ThEdu Preface"

Copied!
1
0
0

Chargement.... (Voir le texte intégral maintenant)

Texte intégral

(1)

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 Linz

Walther Neuper

Program Committee

Francisco Botana University of Vigo at Pontevedra Roman Haˇsek 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)

Références

Télécharger maintenant ( PDF - 1 Page - 42.27 KB )

Documents relatifs

Preface - UMAP 2015 Posters and Demonstrations

 We  demonstrate  our  approach  using  . TripAdvisor

Preface and Workshop Organization

The OrdRing workshop series aims at stimulating a paradigm shift in semantic technologies toward novel methods that integrate ordering with reasoning inspired by stream and

Preface

This volume contains the papers presented at PRUV 2014: First Workshop on Logics for Reasoning about Preferences, Uncertainty, and Vagueness held on July 22-23, 2014 in Vienna..

OpenMath Preface

This volume contains the papers presented at the 26th OpenMath Workshop held in July 2014 in Coimbra, Portugal.. These papers were accepted for presentation and discussion:

Preface - UMAP 2014 Posters and Demonstrations

Sara Bernardini King's College London, United Kingdom Pradipta Biswas University of Cambdrige, United Kingdom Derek Bridge University College Cork, Republic of Ireland

Preface

This volume contains the papers presented at the 25th OpenMath Workshop held on July 10, 2013 in Bath.. There were

Automated Theorem Proving for Elementary Geometry

My study is concerned with proving equality of line segments using various methods of constructions corresponding with multiplication of line segments (uniqueness) and

Preface

This volume contains the papers presented at the Third International Workshop on Experimental Economics and Machine Learning held on July 18, 2016 at the National Research