UBC Theses and Dissertations

UBC Theses Logo

UBC Theses and Dissertations

A procedural approach to constructions in euclidean geometry Funt, Brian V.

Abstract

A problem solving program capable of handling high school level Euclidean geometry straight-edge and compass constructions has been written. Figures are constructed by discovering, for the points composing them, the loci which satisfy the given sets of constraints. The representation of geometric knowledge is procedural. The relation to theorem proving in geometry, and aspects of the language PLANNER, which was used in the implementation of the program, are discussed.

Item Media

Item Citations and Data

Rights

For non-commercial purposes only, such as research, private study and education. Additional conditions apply, see Terms of Use https://open.library.ubc.ca/terms_of_use.