Presentations and Papers
- Visual Geometry Proofs in a Learning Context, Pedro Quaresma and Vanda Santos - Presentation & Paper
- Argumentative Effects of a Geometric Construction Tutorial System in Solving Problems of Proof, Richard R. Philippe, Juan J. Paneque, Pedro Cobo and Josep M. Fortuny - Presentation & Paper
- Creating Usable Computer Tools that Reason Mathematically, Crispin Perdue - Presentation & Paper
