| Author | Herath, Vinitha |
| Call Number | AIT Thesis no. CS-92-32 |
| Subject(s) | Geometry, Algebraic
|
| Note | A thesis submitted in partial fulfilment of the requirements for the degree of Master of
Science, School of Engineering and Technology |
| Publisher | Asian Institute of Technology |
| Abstract | The idea of theorem proving theorem mechanically can be
traced back to Leibniz early in the seventeenth century.
In 1977 Wu Wen Tsun discovered an efficient method for
mechanical theorem proving in elementary geometry. A geometric
theorem to be proved is stated as a finite set of polynomial
equations implying a conclusion. Variables of these polynomials
are coordinates of the points involved in that theorem.
Classification of variables into dependents and independents is
necessary for Wu's method.
In this thesis an algorithm for generating all possible
classifications is proposed. The effect of classifications on
Wu's triangulation algorithm is discussed. Characteristics of a
good classification are detected . |
| Year | 1992 |
| Type | Thesis |
| School | School of Engineering and Technology (SET) |
| Department | Department of Information and Communications Technologies (DICT) |
| Academic Program/FoS | Computer Science (CS) |
| Chairperson(s) | Kanchana Kanchanasut; |
| Examination Committee(s) | Huynh Ngoc Phien ;Phan Minh Dung; |
| Scholarship Donor(s) | DAAD; |
| Degree | Thesis (M.Sc.) - Asian Institute of Technology, 1992 |