=Paper=
{{Paper
|id=Vol-2307/preface6
|storemode=property
|title=None
|pdfUrl=https://ceur-ws.org/Vol-2307/preface6.pdf
|volume=Vol-2307
}}
==None==
<pdf width="1500px">https://ceur-ws.org/Vol-2307/preface6.pdf</pdf>
<pre>
                                 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

</pre>