Proceedings 8th International Workshop on Theorem Proving Components for Educational Software

02/27/2020
by   Pedro Quaresma, et al.
0

This EPTCS volume contains the proceedings of the ThEdu'19 workshop, promoted on August 25, 2019, as a satellite event of CADE-27, in Natal, Brazil. Representing the eighth installment of the ThEdu series, ThEdu'19 was a vibrant workshop, with an invited talk by Sarah Winkler, four contributions, and the first edition of a Geometry Automated Provers Competition. After the workshop an open call for papers was issued and attracted seven submissions, six of which have been accepted by the reviewers, and collected in the present post-proceedings volume. The ThEdu series pursues the smooth transition from an intuitive way of doing mathematics at secondary school to a more formal approach to the subject in STEM education, while favoring software support for this transition by exploiting the power of theorem-proving technologies. The volume editors hope that this collection of papers will further promote the development of theorem-proving-based software, and that it will collaborate on improving mutual understanding between computer mathematicians and stakeholders in education.

READ FULL TEXT

Authors

02/02/2022

Proceedings 10th International Workshop on Theorem Proving Components for Educational Software

This EPTCS volume contains the proceedings of the ThEdu'21 workshop, pro...
10/28/2020

Proceedings 9th International Workshop on Theorem Proving Components for Educational Software

The 9th International Workshop on Theorem-Proving Components for Educati...
03/29/2019

Proceedings 7th International Workshop on Theorem proving components for Educational software

The 7th International Workshop on Theorem proving components for Educati...
03/02/2018

Proceedings 6th International Workshop on Theorem proving components for Educational software

The 6th International Workshop on Theorem proving components for Educati...
09/18/2015

Proceedings Thirteenth International Workshop on the ACL2 Theorem Prover and Its Applications

This volume contains the proceedings of the Thirteenth International Wor...
08/20/2020

Proceedings Eighth and Ninth International Workshop on Trends in Functional Programming in Education

This volume contains five papers, accepted after post-reviewing, based o...
09/16/2020

Proceedings 13th Interaction and Concurrency Experience

This volume contains the proceedings of ICE'20, the 13th Interaction and...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.