
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]
 OpenXMRFC’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. semanticbased) 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 mathematicallyoriented...

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...