Automated Theorem Proving

Hongbo Li

Chapter Chapter 6 in Geometric Algebra with Applications in Science and Engineering, 2001, pp 110-119 from Springer

Abstract: Abstract In modern algebraic methods for automated geometry theorem proving, Wu’s characteristic set method (Wu, 1978, 1994; Chou, 1988) and the Gröbner basis method (Buchberger, Collins and Kutzler, 1988; Kutzler and Stifter, 1986; Kapur, 1986) are two basic ones. In these methods, the first step is to set up a coordinate system, and represent the geometric entities and constraints in the hypothesis of a theorem by coordinates and polynomial equations. The second step is to compute a characteristic set or Gröbner basis by algebraic manipulations among the polynomials. The third step is to verify the conclusion of the theorem by using the characteristic set or Gröbner basis.

Date: 2001
References: Add references at CitEc
Citations:

There are no downloads for this item, see the EconPapers FAQ for hints about obtaining it.

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:spr:sprchp:978-1-4612-0159-5_6

Ordering information: This item can be ordered from
http://www.springer.com/9781461201595

DOI: 10.1007/978-1-4612-0159-5_6

Access Statistics for this chapter

More chapters in Springer Books from Springer
Bibliographic data for series maintained by Sonal Shukla () and Springer Nature Abstracting and Indexing ().