
Proceedings 7th International Workshop on Theorem proving components for Educational software
The 7th International Workshop on Theorem proving components for Educati...
read it

Proceedings 8th International Workshop on Theorem Proving Components for Educational Software
This EPTCS volume contains the proceedings of the ThEdu'19 workshop, pro...
read it

Proceedings 9th International Workshop on Theorem Proving Components for Educational Software
The 9th International Workshop on TheoremProving Components for Educati...
read it

Proceedings of the Second International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements
These are the postproceedings of the second ARCADE workshop, which took...
read it

Detecting truth on components
We investigate and generalize to an extended framework the notion of 'tr...
read it

Factorizations of Complete Multipartite Hypergraphs
In a mathematics workshop with mn mathematicians from n different areas,...
read it

A Survey of Automated Programming Hint Generation – The HINTS Framework
Automated tutoring systems offer the flexibility and scalability necessa...
read it
Proceedings 6th International Workshop on Theorem proving components for Educational software
The 6th International Workshop on Theorem proving components for Educational software (ThEdu'17) was held in Gothenburg, Sweden, on 6 Aug 2017. It was associated to the conference CADE26. Topics of interest include: methods of automated deduction applied to checking students' input; methods of automated deduction applied to prove postconditions for particular problem solutions; combinations of deduction and computation enabling systems to propose next steps; automated provers specific for dynamic geometry systems; proof and proving in mathematics education. ThEdu'17 was a vibrant workshop, with one invited talk and eight contributions. It triggered the postproceedings at hand.
READ FULL TEXT
Comments
There are no comments yet.