Improving QED-Tutrix by Automating the Generation of Proofs-Reference-Cited by-同舟云学术

Improving QED-Tutrix by Automating the Generation of Proofs

Published:2018-03-02 Issue: Volume:267 Page:38-58
ISSN:2075-2180
Container-title:Electronic Proceedings in Theoretical Computer Science
language:en
Short-container-title:Electron. Proc. Theor. Comput. Sci.

Author:

Font Ludovic¹,Richard Philippe R.²,Gagnon Michel¹

Affiliation:

1. École Polytechnique de Montréal

2. Université de Montréal

Publisher

Open Publishing Association

Reference57 articles.

1. Combatting shallow learning in a tutor for geometry problem solving;Aleven,1998

2. Limitations of student control: Do students know when they need help?;Aleven,2000

3. Knowledge Component (KC) Approaches to Learner Modeling;Aleven;Design Recommendations for Intelligent Tutoring Systems,2013

4. Toward meta-cognitive tutoring: A model of help seeking with a Cognitive Tutor;Aleven;International Journal of Artificial Intelligence in Education,2006

5. An effective metacognitive strategy: Learning by doing and explaining with a computer-based Cognitive Tutor;Aleven;Cognitive science,2002

Cited by 14 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Considerations on Approaches and Metrics in Automated Theorem Generation/Finding in Geometry;Electronic Proceedings in Theoretical Computer Science;2024-01-22

2. Modelling of Learning Paths, Adaptable to the Learner, in a Learning Environment;Trends in Mathematics;2024

3. Towards a geometry deductive database prover;Annals of Mathematics and Artificial Intelligence;2023-05-24

4. A Rule Based Theorem Prover: an Introduction to Proofs in Secondary Schools;Electronic Proceedings in Theoretical Computer Science;2023-03-10

5. Intelligent Learning Management Systems;Strategy, Policy, Practice, and Governance for AI in Higher Education Institutions;2022-05-27