C. Alvin, S. Gulwani, R. Majumdar, and S. Mukhopadhyay, Synthesis of geometry proof problems, AAAI'14 Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, pp.245-252, 2014.

K. Kaushal, C. Bhagat, and . Chang, Incorporating geogebra into geometry learning-a lesson from india, Science and Technology Education, vol.11, issue.1, pp.77-86, 2015.

J. Brown, Likert items and scales of measurement?, Shiken Research Bulletin: JALT Testing Evaluation SIG Newsletter, vol.15, pp.10-14, 2011.

A. W. Chickering and Z. F. Gamson, Lifting the curtain: The evolution of the geometer's sketchpad, AAHE Bulletin, vol.39, issue.7, pp.3-7, 1987.

N. Girard, D. Simonnet, and E. Anquetil, Intu-iScript a new digital notebook for learning writing in elementary schools: 1st observations, 18th International Graphonomics Society Conference (IGS2017), Proceedings of IGS 2017, pp.201-204, 2017.

S. Gulwani, Dimensions in program synthesis, Proceedings of the 12th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming, pp.13-24, 2010.

S. Gulwani, V. A. Korthikanti, and A. Tiwari, Synthesizing geometry constructions, SIGPLAN Not, vol.46, issue.6, pp.50-61, 2011.

A. N. Kluger and A. Denisi, The effects of feedback interventions on performance: A historical review, a meta-analysis, and a preliminary feedback intervention theory, Psychological Bulletin, pp.254-284, 1996.

O. Krichen, N. Girard, É. Anquetil, S. Corbille, and M. Renault, Real-time interpretation of handdrawn sketches with extended hierarchical bi-dimensional grammar, 16th International Conference on Frontiers in Handwriting Recognition, ICFHR 2018, pp.273-278, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01917888

, Integration of technology in the design of geometry tasks with cabri-geometry, I. J. Computers for Math. Learning, vol.6, issue.3, pp.283-317, 2002.

S. Macé and E. Anquetil, Eager interpretation of on-line hand-drawn structured documents: The dali methodology, New Frontiers in Handwriting Recognition, vol.42, pp.3202-3214, 2009.

J. Mccarthy, P. J. Hayes, ;. Meltzer, and D. Michie, Some philosophical problems from the standpoint of artificial intelligence, pp.463-502, 1969.

R. Nkambou, J. Bourdeau, and R. Mizoguchi, Introduction: What Are Intelligent Tutoring Systems, and Why This Book?, pp.1-12, 2010.

H. S. Nwana, Intelligent tutoring systems: an overview, Artificial Intelligence Review, vol.4, issue.4, pp.251-277, 1990.

D. Py, Environnements interactifs d'apprentissage et démonstration en géométrie, 2001.

D. Scher, Lifting the curtain: The evolution of the geometer's sketchpad', The mathematics Educator, vol.10, pp.42-48, 2000.

R. Singhal, M. Henz, and K. Mcgee, Automated generation of high school geometric questions involving implicit construction, Proceedings of the 6th International Conference on Computer, vol.1, pp.467-472, 2014.

J. Yan, C. Wang, W. Cheng, M. Gao, and A. Zhou, A retrospective of knowledge graphs, Frontiers of Computer Science, vol.12, issue.1, pp.55-74, 2018.