[om] Units example usage ?

Bill Naylor Bill.Naylor at mcs.vuw.ac.nz
Mon Apr 28 04:11:17 CEST 2003


First, I would like to say that I am very glad that this question has been
brought up again. I think that it was left in a very unresolved state.
However that being said, I would like to point people at (for example) the
FMP at:

http://monet.nag.co.uk/cocoon/openmath/cd/physical_consts1.html#light_year

though the use of times here was I think a bit shot down in
flames by Andreas earlier! I am glad that the MathML group are doing
something on this and look forward to reading their resolution

Bill

On Thu, 24 Apr 2003, Michael Kohlhase wrote:

> Date: Thu, 24 Apr 2003 11:50:20 -0400
> From: Michael Kohlhase <Michael_Kohlhase at asuka.mt.cs.cmu.edu>
> Reply-To: om at openmath.org
> To: om at openmath.org
> Subject: Re: [om] Units example usage ?
>
> Paul,
>
>
> > We were about to use the units symbols until... I faced the fact that I
> > wouldn't know how to use, say, the "meter" symbol.
> >
> > Should the be a predicate applied to (probably a number) the length amount ?
> > Should I use a multiplication (not really elegant) ?
>
> The MathML Group (actually Douglas Wilhelm Harder and Stan Devitt) are
> preparing a note on using Units in MathML, which should be out any moment
> now. It will probably shed some light and help deciding with what you can
> do with units.
>
>
>      Michael
>
> --
> om at openmath.org  -  general discussion on OpenMath
> Post public announcements to om-announce at openmath.org
> Automatic list maintenance software at majordomo at openmath.org
> Mail om-owner at openmath.org for assistance with any problems
>
--
om at openmath.org  -  general discussion on OpenMath
Post public announcements to om-announce at openmath.org
Automatic list maintenance software at majordomo at openmath.org
Mail om-owner at openmath.org for assistance with any problems



More information about the Om mailing list