Murdoch University Research Repository

Welcome to the Murdoch University Research Repository

The Murdoch University Research Repository is an open access digital collection of research
created by Murdoch University staff, researchers and postgraduate students.

Learn more

A complex change of variables for geometrical reasoning

Stokes, T. and Bulmer, M. (2001) A complex change of variables for geometrical reasoning. Lecture Notes in Computer Science, 2061 . pp. 143-153.

Link to Published Version:
*Subscription may be required


We use complex vectors in geometrical reasoning, specifically automated theorem proving. The calculations are embedded in Clifford algebras, but commutative polynomial techniques can be used. Using the Gröbner basis package in the computer algebra package Maple, this approach is shown to have efficiency benefits in situations where distance and angle relations amongst geometrical entities predominate.

Item Type: Journal Article
Murdoch Affiliation(s): School of Chemical and Mathematical Science
Publisher: Springer Verlag
Copyright: 2001 Springer-Verlag Berlin Heidelberg
Item Control Page Item Control Page