- Library Home /
- Search Collections /
- Open Collections /
- Browse Collections /
- UBC Theses and Dissertations /
- A procedural approach to constructions in euclidean...
Open Collections
UBC Theses and Dissertations
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 Metadata
Title |
A procedural approach to constructions in euclidean geometry
|
Creator | |
Publisher |
University of British Columbia
|
Date Issued |
1973
|
Description |
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.
|
Genre | |
Type | |
Language |
eng
|
Date Available |
2011-03-21
|
Provider |
Vancouver : University of British Columbia Library
|
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.
|
DOI |
10.14288/1.0051786
|
URI | |
Degree | |
Program | |
Affiliation | |
Degree Grantor |
University of British Columbia
|
Campus | |
Scholarly Level |
Graduate
|
Aggregated Source Repository |
DSpace
|
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.