Computer Algebra and Geometric Algebra with Applications - International Workshop on Mathematics Mechanization; Kanade, Takeo; Li, Hungbo; Olver, Peter J.; Sommer, Gerald (Springer Berlin / Heidelberg, 2005)