[Om3] Kicking off an OpenMath2+ Process (Standard Enhancement)

Michael Kohlhase m.kohlhase at jacobs-university.de
Fri Feb 25 08:15:15 CET 2011



On 25.2.11 00:36, Professor James Davenport wrote:
>> 5.3 ("Content Dictionaries") doesn't seem to have anything to do with the
>> XML encoding.
> I think I agree with Lars here.
Me too.

Michael
>
> James Davenport
> Lecturer on XX10190 and CM30070
> Hebron&  Medlock Professor of Information Technology, University of Bath
> OpenMath Content Dictionary Editor and Programme Chair, OpenMath 2009
> IMU Committee on Electronic Information and Communication
> Engineering&  Science Board, Council of the British Computer Society
> Federal Council, International Foundation for Computational Logic
>

-- 
----------------------------------------------------------------------
  Prof. Dr. Michael Kohlhase,        Office: Research 1, Room 168
  Professor of Computer Science  Campus Ring 1,
  Jacobs University Bremen           D-28759 Bremen, Germany
  tel/fax: +49 421 200-3140/-493140  skype: m.kohlhase
  m.kohlhase at jacobs-university.de http://kwarc.info/kohlhase
----------------------------------------------------------------------

-------------- next part --------------
A non-text attachment was scrubbed...
Name: m_kohlhase.vcf
Type: text/x-vcard
Size: 320 bytes
Desc: not available
Url : http://openmath.org/pipermail/om3/attachments/20110225/ff8df3e3/attachment.vcf 


More information about the Om3 mailing list