Proof validation and modification by example generation: A classroom-based intervention in secondary school geometry

Abstract

ArticleProceedings of the 13th International Congress on Mathematical Education (ICME-13). Hamburg, Germany, 2016-7-24/31, ICME. (2016)journal articl