General  Information
Home
Important Dates
Conference Poster
Organizing Committee
Sponsors
 Program
Program and Schedule
Invited Talks
Contributed Talks
Tutorials
Posters
Software Exhibitions
 Registration
Information
Registered Participants
 Call  For
Research Papers
Posters
Software Exhibitions
Jenks Prize Nominations
 Local  Information
Conference Location
Speakers' Information
Lodging
Traveling
Gastronomic Guide
Additional Information
 Miscellaneous
Social Events
Previous ISSACs
Other Events

 

 

Symbolic Computation in the Homogeneous Geometric Model with Clifford Algebra

H. Li

 

Clifford algebra provides nice algebraic representations for Euclidean geometry via the homogeneous model, and is suitable for doing geometric reasoning through symbolic computation. In this paper, we propose various symbolic computation techniques in Clifford algebra. The content includes representation, elimination, expansion and simplification. Simplification includes contraction, combination and factorization. We apply the techniques to automated geometric deduction, and derive the conclusion in completely factored form in which every factor is a basic invariant. The efficiency of Clifford algebra in doing geometric reasoning is reflected in the short and readable procedure of deriving sincere geometric factorization.

  issac2004 @ risc.uni-linz.ac.at