EasyChair Smart SlideDocs/Log in
Conference: ThEdu'22 (Theorem-Proving Components for Educational Software)

This page shows all presentations from this conference published in EasyChair Smart Slide.

A Rule Based Theorem Prover: an Introduction to Proofs in Secondary Education

A Rule Based Theorem Prover: an Introduction to Proofs in Secondary Education

Joana Teles, Vanda Santos and Pedro Quaresma

Rule Based Geometry Automated Theorem Provers for Geometry

Rule Based Geometry Automated Theorem Provers for Geometry

Nuno Baeta, Pedro Teixeira and Pedro Quaresma

Presentations in this collection: 2
Copyright © 2002 – 2025 EasyChair