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

arXiv:2404.03709v1 Announce Type: cross
Abstract: 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 favouring software support for this transition by exploiting the power of theorem-proving technologies. What follows is a brief description of how the present volume contributes to this enterprise.
The 12th International Workshop on Theorem Proving Components for Educational Software(ThEdu'23), was a satellite event of the 29th …

abstract arxiv components cs.ai cs.lg cs.lo education educational international mathematics power school series software stem stem education support technologies theorem transition type workshop