An application of knowledge-base technology in education: a geometry theorem prover

Abstract

1. IntnniuctIon The first time that a student is exposed to formal mathematical proofs normally happens during a high school geometry course. it is well known that this topic causes significant difficulties for both teachers and students. According to [Hoffer 811, geometry is usually rated as the least liked of all subjects. Although proofs are all but welcomed in high school mathematics, it is generally recognized that an understanding of the basic principles underlying mathematical proofs is essential for the development of higher mathematical and logical skiHs.