OpenMath

Le OpenMath est le nom d'un langage de balisage pour spécifier la signification des formules mathématiques du . Entre autres, il peut être employé pour compléter le MathML , une norme qui se concentre principalement sur la présentation des formules, avec des informations sur leur signification sémantique. OpenMath peut être codé dans le XML ou dans un format binaire.

Assurance

OpenMath comprend la définition du " ; OpenMath Objects" ; , un datatype abstrait pour décrire la structure logique d'une formule mathématique, et la définition du " ; OpenMath Dictionaries" content ; , ou collections de noms pour des concepts mathématiques. Les noms fournis par le dernier type de collections sont spécifiquement prévus pour l'usage en prolongeant MathML, et réciproquement, un ensemble de base d'un tel " ; Dictionaries" content ; a été conçu pour être compatible avec le petit ensemble de concepts mathématiques définis dans MathML content, le sous-ensemble non-de présentation de MathML.

Histoire

OpenMath a été développé d'une longue série d'ateliers et de projets de recherche (la plupart du temps d'Européen) qui ont commencé dans le 1993 et continuent par aujourd'hui. La norme d'OpenMath 1.0 a été libérée en février 2000, et a mis à jour comme OpenMath 1. Deux ans après, la norme d'OpenMath 2.0 a été libérée en juin 2004. OpenMath 1 a fixé l'architecture de base de langue, alors qu'OpenMath2 apportait une meilleure intégration de XML, structure partageant et a libéralisé la notion des dictionnaires contents d'OpenMath.

Société d'OpenMath

L'effort d'OpenMath est régi par la société d'OpenMath, basée dans le Helsinki , Finlande . La société rassemble des constructeurs d'outil, des fournisseurs de logiciel, des éditeurs et des auteurs. L'adhésion est par l'invitation du comité de direction de sociétés, qui fait bon accueil à des individu-nominations des individus qui ont travaillé aux questions OpenMath-connexes dans la recherche ou l'application.

Exemple

La formule quadratique bien connu : = de ${b^2 - 4ac}} {2a}$

être marqué vers le haut comme ceci dans OpenMath (la représentation est un arbre d'expression composé des éléments fonctionnels comme OMA pour l'application de fonction ou OMV pour des variables) :

 xmlns=" de  cdbase=" de   cd=" de   name=" de     cd=" de     cdgroup=" de      cd=" de    name=" de        cd=" de       cd=" de       cd=" de    name=" de    2         cd=" de    4   name=" de    name=" de          2        cd=" de   2  name=" de

Dans l'arbre d'expression au-dessus des symboles - c. les éléments aiment le cd=" de - stand pour les fonctions mathématiques qui sont appliquées aux expressions d'enfant de mêmes parents dans un OMA qui sont interprétées comme arguments. L'élément de OMS est un élément générique de prolongation qui signifie celui qui soit spécifié dans le dictionnaire content visé à l'attribut de cd (ce document peut être trouvé à l'URI spécifique dans l'attribut les plus secrets de cdbase dominant l'élément respectif de OMS. Dans l'exemple ci-dessus, tous les symboles viennent du dictionnaire content pour des arithmétiques (arith1, voient ci-dessous).

Dictionnaires contents d'OpenMath

Les dictionnaires contents sont des documents structurés de XML qui définissent les symboles mathemtical qui peuvent être mentionnés par des éléments de OMS dans des objets d'OpenMath. La norme d'OpenMath 2 ne prescrit pas un codage canonique pour les dictionnaires contents, mais exige seulement une infrastructure suffisamment pour la mise en référence unique dans des éléments de OMS. OpenMath fournit un codage très de base de XML qui répond à ces exigences, et un ensemble de dictionnaires contents spécifiques pour quelques secteurs des mathématiques, en particulier couvrant le fragment K-14 couvert par MathML content.

Pour les dictionnaires contents plus richement structurés (et généralement pour les documents mathématiques arbitraires) le format d'OMDoc prolonge OpenMath par un « rapport de niveau » (structures y compris comme définitions, théorèmes, preuves et exemples, aussi bien que des moyens de les mettre en corrélation) et une « théorie de niveau », où une théorie est une collection de plusieurs rapports contextuel connexes. Les théories d'OMDoc sont conçues pour être compatibles aux dictionnaires contents d'OpenMath, mais elles peuvent également être placées dans des relations de transmission et d'importation.

Voir également

Liste de des langages de balisage de document
Comparaison de des langages de balisage de document
MathML
OMDoc
TeX

Random links: