[Om] Binary Encoding in org.symcomp.openmath

David Carlisle davidc at nag.co.uk
Thu Feb 12 17:01:53 CET 2009


Peter,
How does this compare with the existing sharing mechanisms in the binary
encoding?

http://www.openmath.org/standard/om20-2004-06-30/omstd20html-3.xml#sec_sharing_references

whic was intended to mirror the OMR reference element

http://www.openmath.org/standard/om20-2004-06-30/omstd20html-3.xml#sec_sharing_bvars

David

________________________________________________________________________
The Numerical Algorithms Group Ltd is a company registered in England
and Wales with company number 1249803. The registered office is:
Wilkinson House, Jordan Hill Road, Oxford OX2 8DR, United Kingdom.

This e-mail has been scanned for all viruses by Star. The service is
powered by MessageLabs. 
________________________________________________________________________


More information about the Om mailing list