Using OpenMath to present semantics of Geometric Algebra

Abstract

This research aids in developing of a Physics Markup Language (PML) for the representation of Physical models. By providing a standard way of documenting the physical and mathematical semantics of these physics based models, a Physics Markup Language (PML) will improve communication of model's semantics to support interoperability between physics-based models, such as multi-physics simulation and interoperability with other non-physics based models. Geometric Algebra (GA) is a powerful and practical framework for the representation and solution of geometrical problems. GA is the fundamental underlying mathematics for most physical models. OpenMath is a XML-based markup language for representing and communicating mathematics that tries to combine natural and formal language. This research utilized OpenMath by creating Content Dictionaries, to implement the mathematical semantics for the underlying mathematics, Geometric Algebra.