Automatic Geometric Theorem Proving
| dc.contributor.advisor | Abebaw Tilahun (PhD) | |
| dc.contributor.author | Lemma Hiwot | |
| dc.date.accessioned | 2018-07-16T12:12:48Z | |
| dc.date.accessioned | 2023-11-04T12:30:36Z | |
| dc.date.available | 2018-07-16T12:12:48Z | |
| dc.date.available | 2023-11-04T12:30:36Z | |
| dc.date.issued | 2016-08 | |
| dc.description.abstract | For several decades algebraic method have been successfully used in automated deduction in Geometry objects in Euclidean geometry are relations between them are expressed as polynomials and algebraic method e.g.Groebner bases are used over that set of polynomials we describe aformalization of an algorithm that accepts a term representation of a geometry construction and returns a corresponding set of polynomials our furtherwork will be to use the method of Groebner bases on the generated polynomials , in order to implement a formallyverified algebraic prover for geometry . | en_US |
| dc.identifier.uri | http://etd.aau.edu.et/handle/123456789/8788 | |
| dc.language.iso | en | en_US |
| dc.publisher | Addis Ababa University | en_US |
| dc.subject | Automatic Geometric Theorem Proving | en_US |
| dc.title | Automatic Geometric Theorem Proving | en_US |
| dc.type | Thesis | en_US |