Prototipo de demostración de un sistema basado en conocimiento para la selección de rutinas matemáticas