Towards an ecosystem for computer-supported geometric reasoning-Reference-Cited by-同舟云学术

Towards an ecosystem for computer-supported geometric reasoning

Published:2020-11-02 Issue: Volume: Page:1-10
ISSN:0020-739X
Container-title:International Journal of Mathematical Education in Science and Technology
language:en
Short-container-title:International Journal of Mathematical Education in Science and Technology

Author:

Kovács Zoltán¹^ORCID,Recio Tomás²^ORCID,Richard Philippe R.³^ORCID,Van Vaerenbergh Steven²^ORCID,Vélez M. Pilar⁴^ORCID

Affiliation:

1. Private Pädagogische Hochschule der Diöz.ese Linz, Johannes Kepler University, Linz, Austria

2. Dpto. Matemáticas, Estadística y Computación, Universidad de Cantabria, Santander, Spain

3. Département de Didactique, Université de Montréal, Montréal, Canada

4. Dpto. Ingeniería Industrial, Universidad Antonio de Nebrija, Madrid, Spain

Publisher

Informa UK Limited

Subject

Applied Mathematics,Education,Mathematics (miscellaneous)

Link

https://www.tandfonline.com/doi/pdf/10.1080/0020739X.2020.1837400

Reference18 articles.

1. Brousseau, G. (2004). Introduction to the study of the teaching of reasoning and proof: Paradoxes. In:La lettre de la preuve—International newsletter on the teaching and learning of mathematical proof. http://www.lettredelapreuve.org/OldPreuve/Newsletter/04Ete/04EteThemeUK.html

2. Representation and automated transformation of geometric statements

3. Mechanical Geometry Theorem Proving

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

1. How Do Structural and Process Aspects of Mathematical Reasoning Support Each Other Through the Integration of GeoGebra and the ACODESA Method?;Digital Experiences in Mathematics Education;2024-08-27

2. Computer Assisted Proofs and Automated Methods in Mathematics Education;Electronic Proceedings in Theoretical Computer Science;2023-03-10

3. The effect of a technology-enhanced collaborative learning environment on secondary school students’ mathematical reasoning: A mixed method design;Education and Information Technologies;2023-01-18

4. The "never-proved" triangle inequality: A GeoGebra & CAS approach;AIMS Mathematics;2023

5. Is Computer Algebra Ready for Conjecturing and Proving Geometric Inequalities in the Classroom?;Mathematics in Computer Science;2022-12