Gila Hanna
University of Toronto
H-index: 35
North America-Canada
Top articles of Gila Hanna
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Using the proof assistant Lean in undergraduate mathematics classrooms | ZDM–Mathematics Education | Gila Hanna Brendan Larvor Xiaoheng Kitty Yan | 2024/4/22 |
Psychology and Mathematics Education | Gila Hanna Laura Macchi Karin Binder Laura Martignon Katharina Loibl | 2023/9/5 | |
Using the Lean interactive theorem prover in undergraduate mathematics | International Journal of Mathematical Education In Science & Technology | Xiaoheng Yan Gila Hanna | 2023/7/4 |
Human-machine collaboration in the teaching of proof | Journal of Humanistic Mathematics | Gila Hanna Brendan P Larvor Xiaoheng Yan | 2023 |
Correction to: Proof and Proving | Proof and Proving in Mathematics Education | G Hanna M de Villiers | 2021 |
Birth of logical proof, 5, 147–153 | Proof and Proving in Mathematics Education | G Hanna M de Villiers | 2021 |
Proof in mathematics education, 1980-2020: An overview | Gila Hanna Christine Knipping | 2020/8/31 | |
Mathematical proof, argumentation, and reasoning | Encyclopedia of mathematics education | Gila Hanna | 2020 |
À l’occasion du 20e anniversaire de la Revue canadienne de l'enseignement des sciences, des mathématiques et de la technologie (CJSMTE) | Canadian Journal of Science, Mathematics and Technology Education | Gila Hanna | 2020/12 |
In Celebration of the 20th Anniversary of the Canadian Journal of Science, Mathematics and Technology Education (CJSMTE) | Canadian Journal of Science, Mathematics and Technology Education | Gila Hanna | 2020/12 |
As Thurston says? On using quotations from famous mathematicians to make points about philosophy and education | ZDM | Gila Hanna Brendan Larvor | 2020/11 |