• OMDoc

  • Referenced in 86 articles [sw07138]
  • present an extension OMDOC to the OPENMATH standard that allows the representation of the semantics...
  • OMRS

  • Referenced in 39 articles [sw03359]
  • supplies a concrete syntax based on the OPENMATH standard, and gives a semantics to communication...
  • LaTeXML

  • Referenced in 22 articles [sw07135]
  • other hand, the standardization of MathML and OpenMath and the adoption of the former...
  • OpenXM

  • Referenced in 14 articles [sw12157]
  • OpenXM-RFC’s). We will also support OpenMath which works for the standardization of mathematical...
  • MathDox

  • Referenced in 10 articles [sw07427]
  • Systems like Mathematica, Maxima and GAP via OpenMath phrasebooks...
  • LAD

  • Referenced in 5 articles [sw04859]
  • First steps on using OpenMath to add proving capabilities to standard dynamic geometry systems ... textual representation of a geometric diagram, an OpenMath (i.e. semantic-based) description of the requested ... created using the elements in the plangeo OpenMath content dictionaries. A review of the elements...
  • OpenMath

  • Referenced in 3 articles [sw15082]
  • package OpenMath. This package provides an OpenMath phrasebook for GAP. This package allows GAP users ... import and export mathematical objects encoded in OpenMath, for the purpose of exchanging them with ... other applications that are OpenMath enabled...
  • arXMLiv

  • Referenced in 6 articles [sw11679]
  • natural sciences on the web, e.g. ​OpenMath, ​Content MathML, or our own ​OMDoc and ​PhysML...
  • Symgrid

  • Referenced in 5 articles [sw09415]
  • possibly parallel) Grid application, building on the OpenMath standard for data exchange between mathematically-oriented...
  • WExEd

  • Referenced in 2 articles [sw12578]
  • exercise entries consist only of OpenMath expressions. To realize this, both the Natural Language Generator...
  • webLurch

  • Referenced in 2 articles [sw20925]
  • documents with mathematical (or other structured) meaning, OpenMath support, meaning visualization tools, and document dependence...
  • CoCoA

  • Referenced in 621 articles [sw00143]
  • CoCoA is a system for Computations in Commutative...
  • Coq

  • Referenced in 1784 articles [sw00161]
  • Coq is a formal proof management system. It...
  • GAP

  • Referenced in 2850 articles [sw00320]
  • GAP is a system for computational discrete algebra...
  • Macaulay2

  • Referenced in 1658 articles [sw00537]
  • Macaulay2 is a software system devoted to supporting...
  • Magma

  • Referenced in 2857 articles [sw00540]
  • Computer algebra system (CAS). Magma is a large...
  • Maple

  • Referenced in 5040 articles [sw00545]
  • The result of over 30 years of cutting...
  • Mathematica

  • Referenced in 5883 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • MuPAD

  • Referenced in 137 articles [sw00606]
  • MuPAD consists of a powerful symbolic engine, a...
  • REDUCE

  • Referenced in 739 articles [sw00789]
  • REDUCE is an interactive system for general algebraic...