Automatic Geometric Theorem Proving
No Thumbnail Available
Date
2016-08
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Addis Ababa University
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 .
Description
Keywords
Automatic Geometric Theorem Proving