Using OpenMath to present semantics of Geometric Algebra | IEEE Conference Publication | IEEE Xplore