González, M. T.; Alvarado Monroy, A. Definir, Buscar Ejemplos, conjeturar... Para Probar Si Un Número Es Feliz. AIEM 2014, 5-24.