[Om3] Restarting the discussion!

Professor James Davenport J.H.Davenport at bath.ac.uk
Sat Oct 13 19:02:01 CEST 2007


On Fri, 12 Oct 2007, Michael Kohlhase wrote:
> 2. think about a OM3 CD format, there were some wishes for addition
>      b) defMPs (see James' proposal from Linz)
I have a student working on an OpenMath-based unit converter. It would be 
good to add, say, 'kg' as an abbreviation for 'kilogramme', but this might 
best be done by having 'kg' as a symbol with a defmp of kilogramme (this 
being, of course the application of 'kilo' to 'gramme').
James


More information about the Om3 mailing list