Research

Unit Knowledge Management


Reference:

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:

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

    Official URL:

    http://dx.doi.org/10.1007/978-3-540-85110-3

    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.

    Details

    Item Type Book Sections
    CreatorsStratford, J.and Davenport, J.
    EditorsAutexier, S., Campbell, J., Rubio, J., Sorge, V., Suzuki, M. and Wiedijk, F.
    DOI10.1007/978-3-540-85110-3
    Uncontrolled Keywordsopenmath, unit
    DepartmentsFaculty of Science > Computer Science
    StatusPublished
    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.

    Export

    Actions (login required)

    View Item

    Document Downloads

    More statistics for this item...