%0 Conference Proceedings %T Building theories: working in a microworld and writing the mathematical notebook %+ Department of Mathematics %A Cerulli, Michele %A Mariotti, Maria Alessandra %< avec comité de lecture %( Proceedings of the 2003 Joint Meeting of PME and PMENA, CRDG, College of Education, University of Hawai'i, Honolulu, HI, USA. %B 2003 Joint Meeting of PME and PMENA %C Honolulu, United States %Y Neil A. Pateman %Y Barbara J. Dougherty %Y Joseph Zilliox %P Vol. II, pp. 181-188 %8 2003 %D 2003 %K semiotics %K semiotic mediation %K information and communication technologies (ICT) %K learning environments %K formal reasoning %K computer based learning environments %K formal algebra %K CABRI %K geometry theories %K algebra theories %K theoretical thinkings %K notebooks %K theory of instruments of semiotic mediation %K technology enhanced learning (TEL) %K instruments %K instruments of semiotic mediation %K class discussions %K mathematical class discussion %K mathematical discussions %Z Computer Science [cs]/Technology for Human LearningConference papers %X In the framework of a long term teaching experiment we present an Educational approach based on the use of a dynamic geometry software and a symbolic manipulator. Here we present the general ideas of the followed approach focusing on how meanings can originate from phenomenological experience and evolve under the guidance of the teacher. In particular we will focus on meanings related to the ideas of theory, axiom and theorem. %G English %2 https://telearn.hal.science/hal-00190307/document %2 https://telearn.hal.science/hal-00190307/file/Michele-Cerulli-2003.pdf %L hal-00190307 %U https://telearn.hal.science/hal-00190307 %~ TELEARN %~ TICE %~ TEL