GPT: A tutor for geometry proving

College

College of Computer Studies

Department/Unit

Software Technology

Document Type

Conference Proceeding

Source Title

Proceedings of the 25th International Conference on Computers in Education, ICCE 2017 - Main Conference Proceedings

First Page

68

Last Page

73

Publication Date

1-1-2017

Abstract

Geometry is a mandatory subject for secondary school students, where they learn geometric figures and their properties, and the axioms, postulates and theorems involving them. A key topic in Geometry class is proving, where learners are required to derive and prove a certain property is true based from the given properties and by using various axioms, postulates and theorems. This is where most learners encounter difficulty. In this paper, we describe Geometry Proof Tutor, a learning environment where learners can practice Geometry proving through multiple representations - two-column proof and proof tree. With the use of a knowledge base to model Geometry concepts, the software validates the learner's proof statements and provides corrective feedback accordingly. Test results showed that the learners found the availability of the proof tree to be useful in tracking their progress. The presence of complete reasons to use for proofs also helped them understand Geometric Proving better. However, the long list of available choices and the one-proof-statement-at-a-time user interface design made it difficult for them to encode their answers. © 2017 Asia-Pacific Society for Computers in Education. All rights reserved.

html

Disciplines

Computer Sciences | Geometry and Topology

Keywords

Geometry—Computer-assisted instruction

Upload File

wf_no

This document is currently not available here.

Share

COinS