Geometric Reasoning With Geometric Algebra

Dongming Wang

Chapter Chapter 5 in Geometric Algebra with Applications in Science and Engineering, 2001, pp 89-109 from Springer

Abstract: Abstract Geometric (Clifford) algebra was motivated by geometric considerations and provides a comprehensive algebraic formalism for the expression of geometric ideas [11]. Recent research has shown that this formalism may be effectively used in algebraic approaches for automated geometric reasoning [ 7 , 12 , 14 , 20 , 24 ]. Starting with an introduction to Clifford algebra for n-dimensional Euclidean geometry, this chapter is mainly concerned with the automatic proving of theorems in geometry and identities in Clifford algebra. We explain how to express geometric concepts and relations and how to formulate geometric problems in the language of Clifford algebra. Several examples are given to illustrate a simple mechanism for deriving Clifford algebraic representations of constructed points, or other geometric objects, and how the representations may be used for proving theorems automatically. With explicit representations of geometric objects and simple substitutions, proving a theorem is reduced finally to verifying whether a Clifford algebraic expression is equal to 0. The latter is accomplished in our case by the techniques of term-rewriting for any fixed n.

Keywords: Geometric Object; Clifford Algebra; Computer Algebra System; Geometric Algebra; Outer Product (search for similar items in EconPapers)
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_5

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

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

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 ().