Automated analysis of the difficulty of secondary school geometry theorems | Publicación