\input zb-basic
\input zb-matheduc
\iteman{ZMATH 2011b.00646}
\itemau{Cobo, Pedro; Fortuny, Josep M.; Puertas, Eloi; Richard, Philippe R.}
\itemti{Agentgeom: a multiagent system for pedagogical support in geometric proof problems.}
\itemso{Int. J. Comput. Math. Learn. 12, No. 1, 57-79 (2007).}
\itemab
Summary: This paper aims, first, to describe the fundamental characteristics and workings of the AgentGeom artificial tutorial system, which is designed to help students develop knowledge and skills related to problem solving, mathematical proof in geometry, and the use of mathematical language. Following this, we indicate the manner in which a secondary school student can appropriate these abilities through interactions with the system. Our system uses strategic messages of the agent tutor in an argumentative process that collaborates with a student in the construction of a proof.
\itemrv{~}
\itemcc{G40 E50 U50}
\itemut{artificial tutorial system; multiagent system; pedagogical support; proof in geometry; proof problem; appropriation; interactions}
\itemli{doi:10.1007/s10758-007-9111-5}
\end