<!DOCTYPE article PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Archiving and Interchange DTD v1.0 20120330//EN" "JATS-archivearticle1.dtd">
<article xmlns:xlink="http://www.w3.org/1999/xlink">
  <front>
    <journal-meta>
      <journal-title-group>
        <journal-title>CICM</journal-title>
      </journal-title-group>
    </journal-meta>
    <article-meta>
      <pub-date>
        <year>2021</year>
      </pub-date>
      <volume>14</volume>
      <abstract>
        <p>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. The topics of the OpenMath 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 The 31. OpenMath Workshop included three talks of which two were contributed to this volume. James H. Davenport &amp; Michael Kohlhase</p>
      </abstract>
    </article-meta>
  </front>
  <body />
  <back>
    <ref-list />
  </back>
</article>