Saltar al contenido
uencoder

OpenMath

OpenMath es un estándar semántico basado en XML para codificar objetos matemáticos, complementario a MathML Content, que enfatiza la semántica estricta sobre la presentación.

Propósito

Intercambiar representaciones semánticas estrictas y sin ambigüedad de objetos matemáticos entre sistemas de álgebra computacional y aplicaciones.

Mecanismo

Describe objetos matemáticos con una raíz <OMOBJ> y elementos <OMA> (aplicación), <OMV> (variable), <OMI> (entero) y <OMS> (símbolo, que referencia un Content Dictionary). Los Content Dictionaries definen la semántica de los símbolos.

Casos de uso

  • Interoperabilidad entre sistemas de álgebra computacional
  • Bases de conocimiento matemático
  • Intercambio semántico estricto

Herramientas relacionadas

References