Proving some Geometric Theorems Using Groebner Bases

Aregawi, Weldegiorgis Akale (2011) Proving some Geometric Theorems Using Groebner Bases. Masters thesis, Addis Ababa University.

[img] PDF (Proving some Geometric Theorems Using Groebner Bases)
Aregawi, Weldegiorgis.pdf - Accepted Version
Restricted to Repository staff only

Download (430kB) | Request a copy


Algebraic Geometry can be used to prove geometric theorems in Euclidean Plane Geometry. This can be done when the geometric theorem has the property that the hypothesis and the conclusion of the theorem can be translated into polynomial equations. Such theorems are called admissible theorems. The geometric theorems considered involve points, lines, or circles in the Euclidean Plane which have common intersection points. In this project, first we translate the hypothesis and conclusion of the theorem in to polynomial equations. Then, the method Groebner basis is used to answer the ideal membership problem of the ideal generated by the polynomials in the hypothesis and the polynomials in the conclusion. The geometric theorems considered are the Theorem of Apollonius and Pappus Theorem which demonstrate the applicability of our method.

Item Type: Thesis (Masters)
Subjects: Q Science > Q Science (General)
Q Science > QA Mathematics
Divisions: Africana
Depositing User: Selom Ghislain
Date Deposited: 15 Aug 2018 13:31
Last Modified: 15 Aug 2018 13:31

Actions (login required)

View Item View Item