Unit Knowledge Management

Jonathan Stratford, James Davenport

Research output: Chapter in Book/Report/Conference proceedingChapter

8 Citations (Scopus)
137 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

Keywords

  • OpenMath
  • Unit

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

Cite this