QED and OpenMath

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

Messages sorted by: [ date ][ thread ][ subject ][ author ]
Next message: Yozo Toda: "Re: QED and OpenMath"
Previous message: Frank Lesske: "unsubscribe"
Next in thread: Yozo Toda: "Re: QED and OpenMath"

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

Next message: Yozo Toda: "Re: QED and OpenMath"
Previous message: Frank Lesske: "unsubscribe"
Next in thread: Yozo Toda: "Re: QED and OpenMath"