Synthesis of geometry proof problems, AAAI'14 Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, pp.245-252, 2014. ,
Incorporating geogebra into geometry learning-a lesson from india, Science and Technology Education, vol.11, issue.1, pp.77-86, 2015. ,
Likert items and scales of measurement?, Shiken Research Bulletin: JALT Testing Evaluation SIG Newsletter, vol.15, pp.10-14, 2011. ,
Lifting the curtain: The evolution of the geometer's sketchpad, AAHE Bulletin, vol.39, issue.7, pp.3-7, 1987. ,
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. ,
Dimensions in program synthesis, Proceedings of the 12th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming, pp.13-24, 2010. ,
Synthesizing geometry constructions, SIGPLAN Not, vol.46, issue.6, pp.50-61, 2011. ,
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. ,
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.
Eager interpretation of on-line hand-drawn structured documents: The dali methodology, New Frontiers in Handwriting Recognition, vol.42, pp.3202-3214, 2009. ,
Some philosophical problems from the standpoint of artificial intelligence, pp.463-502, 1969. ,
Introduction: What Are Intelligent Tutoring Systems, and Why This Book?, pp.1-12, 2010. ,
Intelligent tutoring systems: an overview, Artificial Intelligence Review, vol.4, issue.4, pp.251-277, 1990. ,
Environnements interactifs d'apprentissage et démonstration en géométrie, 2001. ,
Lifting the curtain: The evolution of the geometer's sketchpad', The mathematics Educator, vol.10, pp.42-48, 2000. ,
Automated generation of high school geometric questions involving implicit construction, Proceedings of the 6th International Conference on Computer, vol.1, pp.467-472, 2014. ,
A retrospective of knowledge graphs, Frontiers of Computer Science, vol.12, issue.1, pp.55-74, 2018. ,