From: Patrick D. F. Ion <ion@math.ams.org>

Date: Mon, 29 Apr 1996 09:01:38 -0400

To: n.poppelier@elsevier.nl

Cc: w3c-math-erb@w3.org

Message-Id: <v02130503adaa6a34fc09@[130.44.25.36]>

Date: Mon, 29 Apr 1996 09:01:38 -0400

To: n.poppelier@elsevier.nl

Cc: w3c-math-erb@w3.org

Message-Id: <v02130503adaa6a34fc09@[130.44.25.36]>

While at the Zurich ICM I talked with Gaston Gonnet who gave me OpenMath materials and I've looked at some of their stuff. But Neil Soiffer seems to be directly involved, and has apparently given a presentation on typsetting math to them, so perhaps he can outline to us their positions. I note that NAG, who are distributing Axiom, gave a presentation of their needs to an OpenMath Workshopand that Robert S. Sutor, a primary author of that system from IBM, is the chairman of OpenMath's Definition/Design committee. Bart Wage of Elsevier gave a presentation to Workshop 4 too, so perhaps he can inform. I passed on in an earlier message the Open Math Home Page URL <http://www.can.nl/~abbott/OpenMath/index.html>, and that's located, I believe, where Arjeh Cohen is. There are copies of position papers and of slides from the Workshops to be found there. Some from Waterloo, who presumably are well acquainted with OpenMath, will be at the UIUC SGML/Math workshop in a couple of days, so several of us can learn more then. I personally favor an attempt to get harmony among the several separate approaches to the problems of math representation that have sprung up, or at least a good understanding of the reasons for their differences. Patrick ********************************************************** Patrick D. F. Ion NET : ion@math.ams.org Associate Editor TEL : (313)-996-5273 FAX : (313)-996-2916 Mathematical Reviews P. O. Box 8604 OR 416 Fourth Street Ann Arbor, MI 48107-8604 Ann Arbor, MI 48104 UM Campus ZIP: 4816 **********************************************************Received on Monday, 29 April 1996 12:18:59 UTC

*
This archive was generated by hypermail 2.4.0
: Saturday, 15 April 2023 17:19:56 UTC
*