Lenguaje de marcado matemático

Un lenguaje de marcado matemático es una notación informática para representar fórmulas matemáticas , basada en la notación matemática . Los lenguajes de marcado especializados son necesarios porque las computadoras normalmente trabajan con texto lineal y conjuntos de caracteres más limitados (aunque la creciente compatibilidad con Unicode está dejando obsoletos los usos más simples). Una sintaxis estandarizada formalmente también permite que una computadora interprete contenido que de otro modo sería ambiguo, para su representación o incluso evaluación. Para sintaxis interpretables por computadora, las más populares son TeX / LaTeX , MathML (Lenguaje de Marcado Matemático), OpenMath y OMDoc .

Los lenguajes populares para la entrada por humanos y la interpretación por computadoras incluyen TeX ^{[ 1 ]} / LaTeX ^{[ 2 ]} y eqn . ^{[ 3 ]}

Los sistemas de álgebra computacional como Macsyma , Mathematica ( Lenguaje Wolfram ), Maple y MATLAB tienen cada uno su propia sintaxis.

Cuando el propósito es la comunicación informal con otras personas, la sintaxis suele ser ad hoc, a veces llamada "notación matemática ASCII". Los académicos a veces usan una sintaxis basada en TeX debido a la familiaridad con ella por escribir artículos. Quienes están acostumbrados a los lenguajes de programación también pueden usar abreviaturas como "!" para${\displaystyle \neg }$Las páginas web también pueden usar una cantidad limitada de HTML para marcar un pequeño subconjunto, por ejemplo, superíndices . ^{[ 4 ]} La sintaxis ad hoc requiere contexto para interpretar la sintaxis ambigua, por ejemplo "<=" podría ser "está implícito por" o "menor o igual que", y "dy/dx" probablemente denote una derivada , pero estrictamente hablando también podría significar una cantidad finita dy dividida por dx .

Unicode mejora la compatibilidad con las matemáticas, en comparación con ASCII únicamente. ^{[ 5 ] [ 6 ]}

Los lenguajes de marcado optimizados para la comunicación entre ordenadores incluyen MathML , ^{[ 7 ]} OpenMath y OMDoc . Estos están diseñados para la claridad, la analizabilidad y para minimizar la ambigüedad, a costa de la verbosidad. Sin embargo, la verbosidad los hace más engorrosos para que los humanos los escriban directamente. ^{[ 7 ]}

Existen numerosas herramientas de entrada, renderizado y conversión.

Microsoft Word incluyó el Editor de ecuaciones , una versión limitada de MathType , hasta 2007. Este editor permite introducir fórmulas mediante una interfaz gráfica de usuario y convertirlas a lenguajes de marcado estándar como MathML. Con el lanzamiento de Microsoft Office 2007 y los formatos de archivo Office Open XML , Microsoft introdujo un nuevo editor de ecuaciones que utiliza un nuevo formato, el "Office Math Markup Language" (OMML). La falta de compatibilidad provocó que algunas prestigiosas revistas científicas rechazaran manuscritos elaborados con Microsoft Office 2007. ^{[ 8 ] [ 9 ]}

SciWriter es otra interfaz gráfica de usuario que puede generar MathML y ​​LaTeX. ^{[ 10 ]}

ASCIIMathML , un programa JavaScript , puede convertir notación ASCII ad hoc a MathML. ^{[ 11 ]}

• Asistente de pruebas
• Prueba formal
• Lista de lenguajes de marcado de documentos
• Comparación de lenguajes de marcado de documentos
• Comparación de editores TeX

• Sitio web oficial de MathML