[Om3] Summary of the Davenport&Kohlhase Proposal

[David Carlisle]

> pro: works in OpenMath 2
> con: a condition that is symmetric in its variables is represented
> asymmetrically

This is a pretty mild con, compared to encodings that are incompatible
with all existing openmath and mathmml systems.

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. 
________________________________________________________________________