1. Bonus 1

2. Questions of reviewers  ISAC system ?  CAS et theorem prover  Lot of expertise  sure; Quality applications needs lot of expertise  Why a special CAS?  Not necessary for that example but necessary to deal with multi-step reasonning and to generate clone of exercice and their prescrition coding files  Use in other domains ?  The design process ? With a specific software like a compiler or a natural language analyzer in stead of a CAS  IRT ?  Multidimensionel assment is difficult to calibrate with IRT  We are testing IRT to built the student’s profile from the assessment of answers, but we had first to deal with the assessment module.  Fonctionnement du diagnostic  Fait ici 2

3. Blandine ValidityIncorrectV3 Use of lettersIncorrectL3 TranslationStep-by-step with incorrect chainsT4 Algebraic Expressions writing Incorrect use of parentheses with memory of meaning EA31 JustificationBy algebra using incorrect rulesJ3

4. Aliou ValidityIncorrectV3 Use of lettersNoL5 TranslationStep-by-stepT2 Algebraic writingNoEA? JustificationBy exampleJ2