论文信息 - The Aplusix-Editor: A New Kind of Software for the Learning of Algebra

The Aplusix-Editor: A New Kind of Software for the Learning of Algebra

The first part of the paper presents our conception of a new kind of software for helping students to learn algebra. Such software has three main characteristics. First it includes an advanced editor that allows the student to build easily algebraic expressions. Second it reifies the student's reasoning as a tree. Third it verifies the student's calculations. In the second part, we present the Aplusix-Editor, a system of that kind that we have realised, and we describe the first tests of this system.

[1] David J. McArthur,et al. Learning Problem-Solving Skills in Algebra , 1987 .

[2] Michael Beeson. MATHPERT: a computerized learning environment for algebra, trigonometry, and calculus , 1990 .

[3] Mark K. Singley,et al. Deploying Intelligent Tutors on the Web: An Architecture and an Example , 1999 .

[4] Pierre Jacoboni,et al. A DIAGNOSIS BASED ON A QUALITATIVE MODEL OF COMPETENCE , 1999 .

[5] Maria Alessandra Mariotti,et al. A symbolic manipulator to introduce pupils to algebra theory , 2000 .

[6] Alan Bundy,et al. Using Meta-Level Inference for Selective Application of Multiple Rewrite Rule Sets in Algebraic Manipulation , 1980, Artif. Intell..

[7] Jean-François Nicaud,et al. A Microworld for Helping Students to Learn Algebra , 2002 .

[8] John R. Anderson,et al. Cognitive Modeling and Intelligent Tutoring , 1990, Artif. Intell..

[9] Jean-François Nicaud,et al. Syntax and semantics in algebra , 2001 .

[10] Jean-Pierre Jouannaud,et al. Rewrite Systems , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.