OpenMath
OpenMath est un standard sémantique basé sur XML pour encoder des objets mathématiques, complémentaire de MathML Content, qui privilégie la sémantique stricte plutôt que la présentation.
Objectif
Échanger des représentations sémantiques strictes et sans ambiguïté d'objets mathématiques entre systèmes de calcul formel et applications.
Mécanisme
Il décrit les objets mathématiques avec une racine <OMOBJ> et des éléments <OMA> (application), <OMV> (variable), <OMI> (entier) et <OMS> (symbole, référençant un Content Dictionary). Les Content Dictionaries définissent la sémantique des symboles.
Cas d’usage
- Interopérabilité entre systèmes de calcul formel
- Bases de connaissances mathématiques
- Échange sémantique strict
Outils associés
Formateur XML
Beautify or minify XML online with 2-space indentation. Gratuit, privé et 100% côté client. OUTIL
Convertisseur Markdown vers HTML
Convert between Markdown and HTML online. Supports headings, bold, italic, code blocks, links, images, lists, tables, quotes, and horizontal rules. Gratuit, privé et 100% côté client. OUTIL