QED and OpenMath

Roger Bishop Jones (rbj@campion.demon.co.uk)
Sun, 11 Feb 1996 07:39:51 GMT

I am interested to know whether QED participants know about the OpenMath
intiative and if so what they think about the relevance of OpenMath to QED
and vice-versa.

Roger Jones http://www.cybercom.net/~rbjones/
back home rbj@campion.demon.co.uk