MathML

Le langage de balisage mathématique de ( MathML ) est une application du XML pour décrire les notations mathématiques du et capturer sa structure et contenu. Il vise à intégrer des formules mathématiques dans des documents du World Wide Web . C'est une recommandation du groupe de travail de de maths du W3C .

Histoire

Les spécifications de la version 1.01 du format étaient en juillet le libéré 1999 et la version 2.0 apparue dans le février 2001 . Dans le l'octobre 2003 , la deuxième édition de la version 2.0 de MathML a été édité comme dégagement final par le groupe de travail de maths du W3C . En juin 2006 le W3C rechartered le groupe de travail de MathML pour produire une recommandation de MathML 3 jusqu'au février 2008.

MathML a été à l'origine conçu avant l'achèvement des namespaces du XML. En soi, le marge bénéficiaire bénéficiaire de MathML pas namespaced souvent, et les applications qui traitent MathML, tel que les navigateurs de Mozilla, n'exigent pas un namespace. Pour les applications qui souhaitent à namespace MathML, le namespace recommandé URI est http://www.

Présentation et sémantique

MathML traite non seulement la présentation de mais également la signification s composants de formule (la dernière partie de MathML est connue en tant que « MathML content "). Puisque la signification de l'équation est préservée séparé de la présentation, comment le contenu est communiqué peut être laissé jusqu'à l'utilisateur. Par exemple, des pages Web avec MathML incorporé dans eux peuvent être regardées en tant que pages Web normales avec beaucoup de navigateurs mais les utilisateurs malvoyants peuvent également avoir le même MathML lus à eux par l'utilisation des lecteurs d'écran de (par exemple using le de MathPlayer embrochable pour Internet Explorer , construction 9656+ d'opéra 9.50 de ou la prolongation de Firevox pour Firefox).

Exemple

La formule quadratique bien connu : = de x de \ frac {- b \ P. \ racine carrée {b^2 - 4ac}} {2a}

être marqué vers le haut using la syntaxe du latex comme ceci : x= \ frac {- b \ P. \ racine carrée {b^2 - 4ac}} {2a} dans le Troff / Eqn aiment ceci : x= {- b + - racine carrée {sup 2 de b - 4ac}} au-dessus de 2a dans les maths d'OpenOffice.org de comme ceci (tous les deux sont valides) : x= {- racine carrée de plusminus de b {b^2 - C. 4}} au-dessus de {2 a} x= {- b + - racine carrée {b^2 - 4ac}} au-dessus de 2a L'équation ci-dessus a pu être représentée dans la présentation MathML comme arbre d'expression composé des éléments de disposition comme le mfrac de ou les éléments du msqrt de : 

 xmlns=" de  x =     -  b  &PlusMinus ;     b 2    -   4 &InvisibleTimes ;  a &InvisibleTimes ;  c      2 &InvisibleTimes ;  a
L'élément peut être employé pour inclure une annotation sémantique dans le format de non-XML, par exemple pour stocker la formule dans le format employé par un rédacteur d'équation. Alternativement, l'équation pourrait être représentée dans MathML content pendant qu'un arbre d'expression pour les éléments de structure fonctionnelle comme le appliquent (pour l'application de fonction) ou éléments de l'eq de (pour la relation d'égalité) : 
 xmlns=" de      x        definitionURL=" de    &PlusMinus ;           b                      b   2            4   a   c         0.5          2  a      encoding=" de  x= \ frac {- b \ P. \ racine carrée {b^2 - 4ac}} {2a}  encoding=" de  x= {- racine carrée de plusminus de b {b^2 - C. 4}} au-dessus de {2 a}
Dans l'arbre d'expression ci-dessus, des éléments comme les temps de sont définis par les spécifications de MathML et représentent les fonctions mathématiques qui sont appliquées aux expressions d'enfant de mêmes parents qui sont interprétées comme arguments. L'élément du csymbol de est un élément générique de prolongation qui signifie celui qui soit spécifié dans le document visé à l'attribut du definitionURL de .

Bien que moins compact que TeX, les promesses structurantes de XML de le rendre largement utilisable et tient compte de l'affichage instantané dans les applications telles que les navigateurs de Web de et facilite une interprétation franche de sa signification dans des logiciels mathématiques. MathML n'est pas prévu pour être écrit ou édité directement par des humains.

Software support

Rédacteurs

Quelques rédacteurs avec l'appui indigène de MathML (copie y compris et pâte de MathML) sont le Publicon de la recherche de Wolfram de et le SciWriter de soft4science.

MathML est également soutenu par les fournitures de bureau importantes telles que le OpenOffice.org , le KOffice , et le Microsoft Office 2007 , aussi bien que par les logiciels mathématiques tels que le Mathematica et la version de Windows du Casio ClassPad 300 . Le Amaya de navigateur/rédacteur de W3C peut également être mentionné car une impression conforme à la visualisation MathML-comme-est rédacteur.

Conversion

Plusieurs utilités pour convertir des expressions mathématiques en MathML sont disponibles, y compris des convertisseurs entre le TeX et MathML. Le contexte fait l'inverse et emploie le TeX pour la composition de MathML (habituellement ayant pour résultat des documents de pdf ). Le MathType de la Science de conception de permet à des utilisateurs de créer des équations dans une fenêtre de l'impression conforme à la visualisation et de les exporter comme MathML. En outre, la recherche de Wolfram de fournit une page Web pour convertir des expressions mathématiques dactylographiées en MathML.

Le TeXmacs de GNU est un Ce qui-vous-voir-être-ce qui-vous-obtiennent le rédacteur de avec le soutien étendu des mathématiques. Les convertisseurs existent pour la présentation MathML dans les deux directions. TeXmacs peut être employé pour écrire les articles mathématiques qui sont exportés vers le XHTML avec MathML incorporé. Une autre impression conforme à la visualisation MathML-comme-est rédacteur, tisserand de Formulator MathML de que fournit à des moyens pour importer/exportant MathML le soutien de certaines entités abstraites telles que le &ExponentialE ; et &DifferentialD ;.

Navigateurs de Web

Des navigateurs principaux de Web de tels qui soutiennent directement le format sont des versions récentes des navigateurs du Gecko (par exemple, Firefox et Camino ) et la dernière version d'Internet Explorer. Pour les navigateurs Gecko-basés, l'utilisateur est actuellement requis de télécharger les polices spéciales afin de montrer MathML correctement ; c'est susceptible de changer bientôt avec le dégagement des polices du STIX . D'autres navigateurs ne soutiennent pas le format, et ont besoin de tiers connexions. Par exemple, l'opéra soutient actuellement MathML using une prolongation de Javascript d'utilisateur, cependant des constructions hebdomadaires récentes ont inclus l'appui de MathML sans connexion.com/desktopteam/blog/2007/11/16/even-more-work] Internet Explorer 7 est la première version de l'IE à se transporter avec l'appui total de MathML, par un ActiveX inclus embrochable.

Conversion de Web

ASCIIMath fournit une bibliothèque du Javascript pour récrire un commode Wiki-comme la syntaxe des textes utilisée en ligne en pages Web dans MathML en marche ; cela fonctionne en navigateurs avec l'appui ou les connexions de MathML. LaTeXMathML fait la même chose pour (un sous-ensemble de) la syntaxe mathématique standard du latex .

Blahtex est a TeX--MathML au convertisseur destiné à l'utilisation avec le MediaWiki .

Le serveur d'équation pour .NET de soft4science peut être utilisé du côté de serveur ( ASP.NET ) pour les TeX-Maths (sous-ensemble de syntaxe de maths de latex ) à la conversion de MathML. Il peut également créer les images à mémoire d'image (png, Jpg, le GIF,…) de l'entrée de TeX-Maths ou de MathML.

Appui des programmateurs de logiciel

L'appui du format de MathML accélère le développement d'applications de logiciel dans de telles diverses matières, en tant qu'éducation assistée par ordinateur (étude de distance, manuels électroniques et d'autres matériaux de salle de classe) ; création automatisée des rapports attrayants ; systèmes d'algèbre d'ordinateur ; outils écrivants, s'exerçants, de éditions (tous les deux pour le Web et ordinateur de bureau-orientés), et beaucoup d'autres demandes de mathématiques, de science, d'affaires, de sciences économiques, etc. Plusieurs fournisseurs de logiciel proposent une édition composante de leurs rédacteurs de MathML, de ce fait fournissant la manière simple pour des programmateurs de logiciel au rendu de mathématiques d'insertion/à l'édition/traitant la fonctionnalité dans leurs applications. Par exemple, la commande de Formulator ActiveX de du laboratoire de Hermitech de peut être incorporée à une application car a MathML-comme-est rédacteur, la Science de conception de proposent une trousse à outils pour les pages Web de bâtiment qui incluent des maths interactives (suite de réalisateurs de WebEQ™,).

D'autres normes

Un autre appelé standard OpenMath qui a été conçu (en grande partie par les mêmes personnes qui ont conçu MathML content) plus spécifiquement pour stocker des formules sémantiquement peut également être employé pour compléter MathML.

Le format d'OMDoc a été créé pour le marge bénéficiaire bénéficiaire de plus grandes structures mathématiques que des formules, des rapports comme les définitions, théorèmes, preuves, ou exemple, aux théories et aux manuels. Des formules dans des documents d'OMDoc peuvent être écrites dans MathML content ou dans OpenMath ; pour la présentation, elles sont converties en présentation MathML.

La norme ouverte du bureau XML (OOXML) d'Ecma de définit une syntaxe incompatible de maths de XML, dérivée des produits de Microsoft Office .

Voir également

Liste de des langages de balisage de document
Comparaison de des langages de balisage de document
TeX
Latex
Rédacteurs de formule de * GELLMU
LaTeX2HTML

.

Random links:Ressorts noirs, Arkansas | Le libre réglé du monde | Splenial | Lac Conneaut | Collège de Kent | MathML