Un lenguaje de marcado matemático es una notación de computadora para representar fórmulas matemáticas , basada en notación matemática . Los lenguajes de marcado especializados son necesarios porque las computadoras normalmente tratan con texto lineal y conjuntos de caracteres más limitados (aunque el aumento de la compatibilidad con Unicode está dejando obsoletos los usos muy simples). Una sintaxis formalmente estandarizada también permite que una computadora interprete contenido que de otro modo sería ambiguo, para representarlo o incluso evaluarlo. Para las sintaxis interpretables por computadora, las más populares son TeX / LaTeX y MathML (Lenguaje de marcado matemático).
Notaciones para la participación humana
Los lenguajes populares para la entrada de datos por humanos y la interpretación por computadoras incluyen TeX [1] / LaTeX [2] y eqn . [3]
Los sistemas informáticos de álgebra como Macsyma , Mathematica ( Wolfram Language ), Maple y MATLAB tienen cada uno su propia sintaxis.
Cuando el propósito es la comunicación informal con otros humanos, la sintaxis suele ser ad hoc, a veces llamada "notación matemática ASCII". Los académicos a veces usan la sintaxis basada en TeX debido a que están familiarizados con él al escribir artículos. Aquellos que están acostumbrados a los lenguajes de programación también pueden usar abreviaturas como "!" por. Las páginas web también pueden usar una cantidad limitada de HTML para marcar un pequeño subconjunto, por ejemplo, superíndice . [4] La sintaxis ad hoc requiere contexto para interpretar la sintaxis ambigua, por ejemplo, "<=" podría ser "está implícito en" o "menor o igual a", y "dy / dx" probablemente denota una derivada , pero estrictamente hablar 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]
Ejemplos
Texas eqn ASCII ad hoc Unicode ad hoc fórmula $a^2$un sup 2 a ^ 2 a² $\sum_{k=1}^N k^2 $suma de {k = 1} a N {k sup 2} suma_ {k = 1} ^ N k ^ 2 Σ_ {k = 1} ^ N k² $\neg (a > 2) \Rightarrow a \le 2$neg (a> 2) drarrow a <= 2 ! (a> 2) => a <= 2 ¬ (a> 2) ⇒ a ≤ 2
Lenguajes de marcado para el intercambio de computadoras
Los lenguajes de marcado optimizados para la comunicación de computadora a computadora incluyen MathML , [7] OpenMath y OMDoc . Estos están diseñados para brindar claridad, capacidad de análisis y minimizar la ambigüedad, al precio de la verbosidad. Sin embargo, la verbosidad los hace más torpes para que los humanos tipeen directamente. [7]
Conversión
Existen muchas herramientas de entrada, renderizado y conversión.
Microsoft Word incluyó Equation Editor , una versión limitada de MathType , hasta 2007. Estos permiten ingresar fórmulas usando una interfaz gráfica de usuario y convertir a lenguajes de marcado estándar como MathML. Con el lanzamiento de Microsoft Office 2007 y los formatos de archivo Office Open XML , introdujeron un nuevo editor de ecuaciones que usa un nuevo formato, "Office Math Markup Language" (OMML). La falta de compatibilidad llevó a algunas revistas científicas de prestigio a negarse a aceptar manuscritos producidos con Microsoft Office 2007 . [8] [9]
SciWriter es otra GUI que puede generar MathML y LaTeX. [10]
ASCIIMathML , un programa JavaScript , puede convertir notación ASCII ad hoc a MathML. [11]
Ver también
Referencias
- ^ Donald E. Knuth. El TeXbook ( Computadoras y tipografía , Volumen A). Reading, Massachusetts: Addison-Wesley, 1984. ISBN 0-201-13448-9 .
- ^ Lamport. LaTeX: un sistema de preparación de documentos, segunda edición de la guía del usuario y el manual de referencia . ISBN.
- ^ Brian W. Kernighan y Lorinda L. Cherry. A System for Typesetting Mathematics , Communications of the ACM 18 (1975), 151-157.
- ^ Universidad de Drexel (2007). "Composición tipográfica matemática para Internet" . Consultado el 16 de abril de 2007 .
- ^ SOPORTE UNICODE PARA MATEMÁTICAS
- ^ UNICODEMATH, UNA CODIFICACIÓN DE MATEMÁTICAS DE TEXTO CASI SENCILLO
- ^ a b Buswell, Stephen; Devitt, Stan; Díaz, Ángel; et al. (7 de julio de 1999). "Especificación del lenguaje de marcado matemático (MathML) 1.01 (resumen)" . Consultado el 13 de abril de 2007 .
Si bien MathML es legible por humanos, se prevé que, excepto en los casos más simples, los autores utilizarán editores de ecuaciones, programas de conversión y otras herramientas de software especializadas para generar MathML.
- ^ "Microsoft Office abandonado por la ciencia y la naturaleza" . ZDNet. 2007-06-18 . Consultado el 27 de octubre de 2012 .
- ^ "La ciencia y la naturaleza tienen dificultades con las matemáticas de Word 2007 - Murray Sargent: Matemáticas en Office - Inicio del sitio - Blogs de MSDN" . 2007-06-04 . Consultado el 27 de octubre de 2012 .
- ^ "SciWriter" . Archivado desde el original el 22 de enero de 2007 . Consultado el 13 de abril de 2007 .
- ^ Peter Jipsen (agosto de 2005). "ASCIIMathML" . Consultado el 13 de abril de 2007 .
Enlaces externos
- Sitio web oficial de MathML
