Unit Knowledge Management


Stratford, J. and Davenport, J., 2008. Unit Knowledge Management. In: Autexier, S., Campbell, J., Rubio, J., Sorge, V., Suzuki, M. and Wiedijk, F., eds. Intelligent Computer Mathematics: Proc. AISC/Calculemus/MKM 2008. Berlin, Heidelberg: Springer, pp. 382-397. (Lecture Notes in Computer Science; 5144/2)

Related documents:

PDF (MKM2008.pdf) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
Download (171kB) | Preview

    Official URL:


    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.


    Item Type Book Sections
    CreatorsStratford, J.and Davenport, J.
    EditorsAutexier, S., Campbell, J., Rubio, J., Sorge, V., Suzuki, M. and Wiedijk, F.
    Uncontrolled Keywordsopenmath,unit
    DepartmentsFaculty of Science > Computer Science
    ID Code465
    Additional InformationProceedings of the 9th International Conference, AISC 2008, 15th Symposium, Calculemus 2008, 7th International Conference, MKM 2008, Birmingham, UK, July 28 - August 1, 2008.


    Actions (login required)

    View Item

    Document Downloads

    More statistics for this item...