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)

Abstract

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
PublisherSpringer
Pages382-397
Number of pages16
ISBN (Print)978-3-540-85109-7
DOIs
Publication statusPublished - 30 May 2008

Publication series

NameLecture Notes in Computer Science
PublisherSpringer
Number2
Volume5144

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.

Keywords

  • OpenMath
  • Unit

Fingerprint

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

Cite this