Математический язык разметки
Математический язык разметки — это компьютерная нотация для представления математических формул , основанная на математической нотации . Специализированные языки разметки необходимы, поскольку компьютеры обычно имеют дело с линейным текстом и более ограниченными наборами символов (хотя расширение поддержки 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, ПОЧТИ ОБЫЧНОЕ ТЕКСТОВОЕ КОДИРОВАНИЕ МАТЕМАТИКИ
- ^ Jump up to: а б Басвелл, Стивен; Девитт, Стэн; Диас, Анхель; и др. (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 г.