Rule-Based Simplification in Vector-Product Spaces

  • Authors:

  • Songxin Liang;David J. Jeffrey

  • Affiliations:

  • Department of Applied Mathematics, University of Western Ontario, London, Ontario, Canada;Department of Applied Mathematics, University of Western Ontario, London, Ontario, Canada

  • Venue:
  • Calculemus '07 / MKM '07 Proceedings of the 14th symposium on Towards Mechanized Mathematical Assistants: 6th International Conference
  • Year:
  • 2007

Quantified Score

Hi-index 0.01

Visualization

Abstract

A vector-product space is a component-free representation of the common three-dimensional Cartesian vector space. The components of the vectors are invisible and formally inaccessible, although expressions for the components could be constructed. Expressions that have been built from the scalar and vector products can be simplified using a rule-based system. In order to develop and specify the system, an axiomatic system for a vector-product space is given. In addition, a brief description is given of an implementation in Aldor. The present work provides simplification functionality which overcomes difficulties encountered in earlier packages.