Hypotheses in Algebra, Didactics issues to consider on a learning environment with Mathematica

In this paper, it is carried out a didactic research for determine the use of students in hypotheses of theorem about Modular Arithmetic, in an Algebra proof, using the theoretical framework of the onto-semiotic approach to Mathematics Education. It has been designed practices with the Mathematica computer program that 132 students on the first year in Computer Engineering Degree from University of Jaen did in laboratory. The students answers have been classified and quantified according to semiotic conflicts showed and the influence in teaching and learning that such scientific software has in these students