Математический язык разметки
Математический язык разметки — это компьютерная нотация для представления математических формул , основанная на математической нотации . Специализированные языки разметки необходимы, поскольку компьютеры обычно имеют дело с линейным текстом и более ограниченными наборами символов (хотя расширение поддержки Unicode приводит к устареванию очень простых способов использования). Формально стандартизированный синтаксис также позволяет компьютеру интерпретировать неоднозначный контент для рендеринга или даже оценки. Из синтаксисов, интерпретируемых компьютером, наиболее популярными являются TeX / LaTeX , MathML (язык математической разметки), OpenMath и OMDoc .
Обозначения для человеческого ввода [ править ]
Популярные языки для ввода людьми и интерпретации компьютерами включают TeX. [1] / Латекс [2] и уравнение . [3]
Системы компьютерной алгебры, такие как Macsyma , Mathematica ( Wolfram Language ), Maple и MATLAB , имеют свой собственный синтаксис.
Когда целью является неформальное общение с другими людьми, синтаксис часто является специальным, иногда называемым «математической нотацией ASCII». Учёные иногда используют синтаксис, основанный на TeX, поскольку они знакомы с ним по написанию статей. Те, кто привык к языкам программирования, также могут использовать сокращения, такие как «!» для . Веб-страницы также могут использовать ограниченное количество HTML для разметки небольшого подмножества, например, надстрочные индексы . [4] Специальный синтаксис требует контекста для интерпретации неоднозначного синтаксиса, например, «<=" может означать «подразумевается» или «меньше или равно», а «dy/dx», скорее всего, будет обозначать производную , но, строго говоря, также может означают конечную величину dy, деленную на dx .
Unicode улучшает поддержку математики по сравнению только с ASCII. [5] [6]
Примеры [ править ]
ТеХ уравнение к этому ASCII специальный Юникод формула $a^2$
суп 2 а^2 а² $\sum_{k=1}^N k^2 $
сумма от { k = 1 } до N { k sup 2 } sum_{k=1}^N k^2 Σ_{k=1}^N k² $\neg (a > 2) \Rightarrow a \le 2$
отрицательный (a > 2) дрроу a <= 2 !(а > 2) => а <= 2 ¬(а > 2) ⇒ а ≤ 2
Языки разметки для компьютерного обмена [ править ]
Языки разметки, оптимизированные для взаимодействия между компьютерами, включают MathML , [7] OpenMath и OMDoc . Они созданы для ясности, удобства анализа и минимизации двусмысленности за счет многословия. Однако многословие делает их более неуклюжими для людей, которые могут печатать напрямую. [7]
Конверсия [ править ]
Существует множество инструментов ввода, рендеринга и преобразования.
Microsoft Word включал Equation Editor , ограниченную версию MathType , до 2007 года. Они позволяют вводить формулы с помощью графического пользовательского интерфейса и конвертировать их в стандартные языки разметки, такие как MathML. С выпуском Microsoft Office 2007 и форматов файлов Office Open XML компания Microsoft представила новый редактор формул, который использует новый формат «Язык математической разметки Office» (OMML). Отсутствие совместимости привело к тому, что некоторые престижные научные журналы отказались принимать рукописи, созданные с использованием Microsoft Office 2007 . [8] [9]
SciWriter — еще один графический интерфейс, который может генерировать MathML и LaTeX. [10]
ASCIIMathML , программа JavaScript , может преобразовывать специальную нотацию ASCII в MathML. [11]
См. также [ править ]
- Помощник по доказательствам
- Формальное доказательство
- Список языков разметки документов
- Сравнение языков разметки документов
Ссылки [ править ]
- ^ Дональд Э. Кнут. The TeXbook ( Компьютеры и набор текста , Том A). Ридинг, Массачусетс: Аддисон-Уэсли, 1984. ISBN 0-201-13448-9 .
- ^ Лэмпорт. LaTeX: Система подготовки документов, 2-е издание Руководство пользователя и справочное руководство . ISBN.
- ^ Брайан В. Керниган и Лоринда Л. Черри. Система набора текста по математике , сообщения ACM 18 (1975), 151–157.
- ^ Дрексельский университет (2007). «Математическая верстка для Интернета» . Проверено 16 апреля 2007 г.
- ^ ПОДДЕРЖКА ЮНИКОДА ДЛЯ МАТЕМАТИКИ
- ^ UNICODEMATH, ПОЧТИ ОБЫЧНОЕ ТЕКСТОВОЕ КОДИРОВАНИЕ МАТЕМАТИКИ
- ^ Перейти обратно: а б Басвелл, Стивен; Девитт, Стэн; Диас, Анхель; и другие. (7 июля 1999 г.). «Спецификация языка математической разметки (MathML) 1.01 (аннотация)» . Проверено 13 апреля 2007 г.
Хотя MathML удобен для чтения человеком, ожидается, что во всех случаях, кроме самых простых, авторы будут использовать редакторы уравнений, программы преобразования и другие специализированные программные инструменты для создания MathML.
- ^ «Microsoft Office выброшен наукой и природой» . ЗДНет. 18 июня 2007 г. Проверено 27 октября 2012 г.
- ^ «Наука и природа испытывают трудности с математикой в Word 2007 — Мюррей Сарджент: Математика в офисе — Главная страница сайта — Блоги MSDN» . 04.06.2007 . Проверено 27 октября 2012 г.
- ^ «Писатель» . Архивировано из оригинала 22 января 2007 г. Проверено 13 апреля 2007 г.
- ^ Питер Джипсен (август 2005 г.). «ASCIIMathML» . Проверено 13 апреля 2007 г.