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]](http://opus.bath.ac.uk/style/images/fileicons/application_pdf.png)
| 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 |
| Creators | Stratford, J.and Davenport, J. |
| Editors | Autexier, S., Campbell, J., Rubio, J., Sorge, V., Suzuki, M. and Wiedijk, F. |
| DOI | 10.1007/978-3-540-85110-3 |
| Uncontrolled Keywords | openmath, unit |
| Departments | Faculty of Science > Computer Science |
| Status | Published |
| ID Code | 465 |
| Additional Information | Proceedings 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 |
