My Plenary Talk via Zoom on "Does dynamic computer verification imply the end of proof?" on 26 October 2021 at the 2nd NaCoME Conference organized by the Mathematics Education Study Program of Sriwijaya University, Indonesia, is available at: Proof Talk.
My lecture starts at about 5:25 and ends at about 6:10 (followed by some questions).
A written copy of my paper, more or less corresponding to my talk is available as PDF at: Proof Paper.
Some Screengrabs from Zoom
Back to "Dynamic Geometry Sketches"
Back to "Student Explorations"
Created by Michael de Villiers, 14 January 2022.