He has been Project Chair of the European OpenMath Project and its successor Thematic Network, with responsibilities for aligning OpenMath and MathML, producing Content Dictionaries and supervised a Reduce-based OpenMath/MathML translator, and was Treasurer of the European Mathematical Trust.
OpenMath |