MARTÍN YAGÜE, Luis (2006) EVAM: un sistema automático de evaluación y presentación de los conocimientos matemáticos. PhD thesis, UD.