Intelligence in QED-Tutrix: Balancing the interactions between the natural intelligence of the user and the artificial intelligence of the tutor software

L Font, M Gagnon, N Leduc, PR Richard - … Education in the Age of Artificial …, 2022 - Springer
When considering the mathematics competences referential (Niss & Højgaard,), whether
from Québec Education Program, the Standards of the National Council of Teachers of …

Four geometry problems to introduce automated deduction in secondary schools

P Quaresma, V Santos - arXiv preprint arXiv:2202.03566, 2022 - arxiv.org
The introduction of automated deduction systems in secondary schools face several
bottlenecks, the absence of the subject of rigorous mathematical demonstrations in the …

Improving QED-Tutrix by automating the generation of proofs

L Font, PR Richard, M Gagnon - arXiv preprint arXiv:1803.01468, 2018 - arxiv.org
The idea of assisting teachers with technological tools is not new. Mathematics in general,
and geometry in particular, provide interesting challenges when developing educative …

Web geometry laboratory: case studies in Portugal and Serbia

V Santos, P Quaresma, M Marić… - Interactive Learning …, 2018 - Taylor & Francis
The role of information and communication technologies (ICT) in education is well
recognised–learning environments where the ICT features included are being proposed for …

L'apprentissage instrumenté de propriétés en géométrie: propédeutique à l'acquisition d'une compétence de démonstration

S Coutat, C Laborde, PR Richard - Educational Studies in Mathematics, 2016 - Springer
Résumé Notre article vise à montrer comment l'apprentissage instrumenté des propriétés en
géométrie euclidienne peut s' introduire en continuité avec les compétences mathématiques …

[图书][B] QED-Tutrix: système tutoriel intelligent pour l'accompagnement des élèves en situation de résolution de problèmes de démonstration en géométrie plane

N Leduc - 2016 - search.proquest.com
Au cours des dernières années, le système scolaire québécois impose une pression
croissante sur les enseignants. En effet, ceux-ci doivent gérer des classes de plus en plus …

Towards an intelligent and dynamic geometry book

P Quaresma - Mathematics in Computer Science, 2017 - Springer
The pursuit of an Intelligent and Dynamic Geometry Book should involve the study of how
currently developing methodologies and technologies of geometry knowledge …

[HTML][HTML] Étude comparative de systèmes tutoriels pour l'exercice de la démonstration en géométrie

M Tessier-Baillargeon, PR Richard… - … de Didactique et …, 2017 - journals.openedition.org
Cet article propose un état de l'art sur les systèmes tutoriels pour l'exercice de la
démonstration en géométrie plane à l'école secondaire. La démarche employée s' inscrit …

Didactic and theoretical-based perspectives in the experimental development of an intelligent tutorial system for the learning of geometry

PR Richard, JM Fortuny, M Gagnon, N Leduc… - ZDM, 2011 - Springer
This paper aims at showing the didactic and theoretical-based perspectives in the
experimental development of the geogebraTUTOR system (GGBT) in interaction with the …

[PDF][PDF] Conception et analyse de geogebratutor, un système tutoriel intelligent: genèse d'un espace de travail géométrique iodine

M Tessier, PR Richard, N Leduc, M Gagnon - Revista latinoamericana de …, 2014 - relime.org
Esta colaboración muestra el enfoque ofrecido por el modelo de espacios de trabajo
geométrico (ETG) en la concepción y validación del sistema tutorial inteligente …