OpenMath Workshop 2018




   OpenMath is a language for exchanging mathematical formulae across applications (such as computer algebra
systems). From 2010 its importance has increased in that OpenMath Content Dictionaries were adopted as a
foundation of the MathML 3 W3C recommendation, the standard for mathematical formulae on the Web. Topics
of the workshop include
  • Feature Requests (Standard Enhancement Proposals) and Discussions for going beyond OpenMath 2;
  • Further convergence of OpenMath and MathML 3;
  • Reasoning with OpenMath;

  • OpenMath on the Semantic Web;
  • New OpenMath Content Dictionaries;
  • Software using or processing OpenMath;


                                                                     June 2018, James Davenport & Michael Kohlhase




Copyright c by the paper’s authors. Copying permitted for private and academic purposes.
In: O. Hasan, J. Davenport, M. Kohlhase (eds.): Proceedings of the 29th OpenMath Workshop, Hagenberg, Austria, 13-Aug-2018,
published at http://ceur-ws.org