Presentamos los avances de un trabajo de investigacion que estudia el uso de un software (asistente de demostracion), utilizado en la actividad de exploracion de teoremas, definiciones y postulados de la geometria euclidiana, en el proceso de construccion de demostraciones por estudiantes de un curso de geometria euclidiana de la carrera de la licenciatura en matematicas. Planteamos la hipotesis de que; “el uso del asistente de demostracion, caracterizado por un proceso de razonamiento abductivo, se transformara progresivamente en propiedad del individuo”. Mostramos el analisis a priori y el analisis a posteriori de los resultados de la aplicacion de un problema de demostracion. Los analisis practicados y el analisis de dos entrevistas clinicas permitieron identificar y caracterizar algunos de los usos dados al asistente durante el planteamiento de la conjetura y la construccion de una justificacion teorica, asi como tambien en los momentos en los cuales se abandona el uso de este software.