Unit Knowledge Management

Jonathan Stratford, James Davenport

Research output: Chapter or section in a book/report/conference proceedingChapter or section

8 Citations (SciVal)
198 Downloads (Pure)


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.
Original languageEnglish
Title of host publicationIntelligent Computer Mathematics: Proc. AISC/Calculemus/MKM 2008
EditorsS Autexier, J Campbell, J Rubio, V Sorge, M Suzuki, F Wiedijk
Place of PublicationBerlin, Heidelberg
Number of pages16
ISBN (Print)978-3-540-85109-7
Publication statusPublished - 30 May 2008

Publication series

NameLecture Notes in Computer Science

Bibliographical note

Proceedings of the 9th International Conference, AISC 2008, 15th Symposium, Calculemus 2008, 7th International Conference, MKM 2008, Birmingham, UK, July 28 - August 1, 2008.


  • OpenMath
  • Unit


Dive into the research topics of 'Unit Knowledge Management'. Together they form a unique fingerprint.

Cite this