In DavenportNaylor2003, various observations on the handling of (physical) units in OpenMath were made. In this paper, we update those observations, and make some comments based on a working unit converter that, because of its OpenMath-based design, is modular, extensible and reflective. We also note that some of the issues in an effective converter, such as the rules governing abbreviations, being more linguistic than
mathematical, do not lend themselves to easy expression in OpenMath.
|Title of host publication||Intelligent Computer Mathematics: Proc. AISC/Calculemus/MKM 2008|
|Editors||S Autexier, J Campbell, J Rubio, V Sorge, M Suzuki, F Wiedijk|
|Place of Publication||Berlin, Heidelberg|
|Number of pages||16|
|Publication status||Published - 30 May 2008|
|Name||Lecture Notes in Computer Science|