Editando OpenMath (sección)

== Diccionarios de Contenido OpenMath ==

Los Diccionarios de Contenido son documentos XML estructurados usados para definir símbolos matemáticos que pueden ser referenciados por medio de los elementos <nowiki>OMS</nowiki> en los objetos OpenMath. El estándar OpenMath 2 no impone una codificación canónica para los diccionarios de contenido, sino que sólo requiere una infraestructura suficiente para que los objetos sean referenciados por medio de <nowiki>OMS</nowiki>. OpenMath proporciona una codificación XML que satisface estos requisitos, y un conjunto de diccionarios de contenido para ciertas áreas matemáticas, en particular cubriendo los K-14 fragmentos cubiertos por medio de MathML contenido. 

Para diccionarios de contenido estructurados más ricos (y generalmente para documentos matemáticos arbitrarios) el formato OMDoc extiende OpenMath por medio de un “nivel de afirmaciones” (incluyendo estructuras como definiciones, teoremas, demostraciones y ejemplos, así como para interrelacionarlos) y un “nivel de teoría”, donde una teoría es una colección de varias afirmaciones relacionadas. Las teorías OMDoc están diseñadas para ser compatibles con los diccionarios de contenido OpenMath, pero también pueden heredar e importar relaciones desde otras teorías OMDoc.