OASIS Mailing List ArchivesView the OASIS mailing list archive below
or browse/search using MarkMail.

 


Help: OASIS Mailing Lists Help | MarkMail Help

unitsml-comment message

[Date Prev] | [Thread Prev] | [Thread Next] | [Date Next] -- [Date Index] | [Thread Index] | [List Home]


Subject: Information on OpenMath and Units


OpenMath is at www.openmath.org
The current version is 2.0.
We are working on 3.0, which should rendezvous with MathML 3.0.
MathML drafts are on the W3C site, but the rendezvous in chapter 4 is
under active work at the moment.

Our paper on OpenMath units is:
Stratford,J.D. & Davenport,J.H.,
Unit Knowledge Management.
Proc. AISC/Calculemus/MKM 2008 (ed. S. Autexier et al.), Springer
Lecture Notes in Artificial Intellgence 5144, Springer-Verlag, pp. 382-397.
http://dx.doi.org/10.1007/978-3-540-85110-3_33.

There is a personal use, legal, copy on my web site:
http://staff.bath.ac.uk/masjhd/MKM2008-LNCS.pdf

Stratford's senior thesis can be found at
http://www.cs.bath.ac.uk/department/technical-report-series/technical-report-series/index.php

James Davenport
Visiting Full Professor, University of Waterloo
Otherwise:
Hebron & Medlock Professor of Information Technology and
Chairman, Powerful Computing WP, University of Bath
OpenMath Content Dictionary Editor and Programme Chair, OpenMath 2009
IMU Committee on Electronic Information and Communication



[Date Prev] | [Thread Prev] | [Thread Next] | [Date Next] -- [Date Index] | [Thread Index] | [List Home]