Skip to Main content Skip to Navigation
Conference papers

Towards a product for teaching formal algebra

Abstract : This paper describes a research work whose objective is to help students to learn algebra with a computer. Firstly, we summarise the theoretical foundations and we describe a prototype devoted to the factoring problem. With this prototype, the student solves problems without making the calculations. The student can also observe the system solving a problem and providing explanations. Secondly, we summarise several experiments we carried out with students and we describe the results we got. Last, we present our new objective that consists of making a product that will be available for all students and teachers.
Complete list of metadata

Cited literature [11 references]  Display  Hide  Download
Contributor : Jerome Zeiliger Connect in order to contact the contributor
Submitted on : Friday, November 23, 2007 - 8:39:56 AM
Last modification on : Wednesday, April 27, 2022 - 4:14:37 AM
Long-term archiving on: : Monday, April 12, 2010 - 3:54:38 AM


Files produced by the author(s)


  • HAL Id : hal-00190302, version 1


Jean-François Nicaud, Denis Bouhineau, Christian Varlet, Anh Nguyen-Xuan. Towards a product for teaching formal algebra. nternational Conference on Artificial Intelligence and Education (AI-ED), Le Mans, juillet 1999, 1999, Le Mans, France. pp.207-214. ⟨hal-00190302⟩



Record views


Files downloads