Automatic Geometric Theorem Proving

For several decades algebraic method have been successfully used in automated deduction inrnGeometry objects in Euclidean geometry are relations between them are expressed asrnpolynomials and algebraic method e.g.Groebner bases are used over that set of polynomialsrnwe describe aformalization of an algorithm that accepts a term representation of arngeometry construction and returns a corresponding set of polynomials our furtherworkrnwill be to use the method of Groebner bases on the generated polynomials , in order tornimplement a formallyverified algebraic prover for geometry .

Get Full Work

Report copyright infringement or plagiarism