Automatic Geometric Theorem Proving

No Thumbnail Available

Date

2016-08

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

Citation

Collections