CISUC

Visual Geometry Proofs in a Learning Context

Authors

Pedro Quaresma
Vanda Alexandre Marques dos Santos

Subject

Proofs in a Learning Context

Conference

Workshop on Theorem proving components for Educational software (ThEdu'15), March 2016

DOI


Cited by

No citations found