Browsing by Author "Lemma Hiwot"

Now showing 1 - 1 of 1
  • No Thumbnail Available
    Item
    Automatic Geometric Theorem Proving
    (Addis Ababa University, 2016-08) Lemma Hiwot; Abebaw Tilahun (PhD)
    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 .