Toward the use of a proof assistant to teach mathematics (original) (raw)

Proofs produced by secondary school students learning geometry in a dynamic computer environment

Angel Gutierrez

Educational Studies in Mathematics, 2000

View PDFchevron_right

Computer Assisted Proofs and Automated Methods in Mathematics Education

Thierry Dana-picard

Electronic proceedings in theoretical computer science, 2023

View PDFchevron_right

[10]. Danh Nam Nguyen (2012). The development of the proving process within a dynamic geometry environment. European Researcher, ISSN 2219-8229, vol.32 (10-2), pp.1731-1744.

Nguyễn Danh Nam

View PDFchevron_right

Proofs through exploration in dynamic geometry environments

Marios Pittalis

International Journal of …, 2004

View PDFchevron_right

Computer-Generated Geometry Proofs in a Learning Context

Vanda Santos

Proof Technology in Mathematics Research and Teaching

View PDFchevron_right

Proof, Explanation and Exploration: An Overview

Gila Hanna

2001

View PDFchevron_right

A Proof Environment for Teaching Mathematics

Rick Sommer

View PDFchevron_right

Influential Aspects of Dynamic Geometry Activities in the Construction of Proofs

Ana Isabel Sacristán

International Group for the Psychology of Mathematics Education, 2005

View PDFchevron_right

Teaching proof in a dynamic geometry environment: what mediation?

ornella robutti

2002

View PDFchevron_right

Orchestrating mathematical proof through the use of digital tools

Rosamund Sutherland

2004

View PDFchevron_right

Proof in Dynamic Geometry Environments

Keith Jones

View PDFchevron_right

The Interplay of Teacher and Student Actions in the Teaching and Learning of Geometric Proof

Michelle Bower

Educational Studies in Mathematics, 2005

View PDFchevron_right

Sánchez, E. & Sacristán, A.I. (2003). Influential Aspects of Dynamic Geometry Activities In the Construction of Proofs

Ernesto Alonso Sánchez Sánchez, Ana Isabel Sacristán

PME CONFERENCE, 2003

View PDFchevron_right

Pupils' needs for conviction and explanation within the context of dynamic geometry

Vimolan Mudaly

1998

View PDFchevron_right

Pre-Service Classroom Teachers' Proof Schemes in Geometry: A Case Study of Three Pre-service Teachers

gülçin oflaz

Eurasian Journal of Educational Research, 2016

View PDFchevron_right

Proof assistants for undergraduate mathematics and computer science education: elements of a priori analysis

Antoine Meyer

HAL (Le Centre pour la Communication Scientifique Directe), 2022

View PDFchevron_right

Teaching Advanced Students to Construct Proofs, longer version. Shorter version appeared in O. Figueras, J. L. Cortina, S. Alatorre, T. Rojano, & A. Sepulveda (Eds.), Proceedings of the Joint Meeting of PME 32 and PME-NA XXX (p. I-305), 2008.

John Selden

2008

View PDFchevron_right

Design criteria of proof problems for mathematically gifted students

Camilo Sua

MEDA Conference 2020, 2020

View PDFchevron_right

PROVING AND PROOF AS AN EDUCATIONAL TASK

maria alessandra Mariotti

View PDFchevron_right

1 Moving Toward More Authentic Proof Practices in Geometry

Patricio Herbst

2016

View PDFchevron_right

DEVELOPING A PROOF-WRITING TOOL FOR NOVICE LYCEUM GEOMETRY STUDENTS

kok wei Chiang

View PDFchevron_right

1 Beyond verification: Proof can teach new methods

Gila Hanna

2015

View PDFchevron_right

Proof assistants for undergraduate mathematics education: elements of an a priori analysis

Antoine Meyer

HAL (Le Centre pour la Communication Scientifique Directe), 2023

View PDFchevron_right

A Rule Based Theorem Prover: an Introduction to Proofs in Secondary Schools

Pedro Quaresma

arXiv (Cornell University), 2023

View PDFchevron_right

The impact of different proof strategies on learning geometry theorem proving

Noboru Matsuda

2004

View PDFchevron_right