«Язык математической разметки сделает Сеть гораздо лучше для образовательных, научных и технических материалов. MathML также имеет потенциал сделать математическую информацию доступной людям с нарушениями зрения. Кроме того, он позволит математической информации передаваться и повторно использоваться в компьютерных системах».

Тим Бернерс-Ли, директор W3C.

Председатели рабочей группы:
Patrick Ion, AMS, ion@ams.org
Редакторы MathML FAQ:
Stephen Buswell, Stilo Technology Ltd., sb@stilo.com
Robert S. Sutor, IBM, sutor@us.ibm.com

Содержание

Цели MathML

Каковы цели MathML?

Главная цель MathML — позволить математической информации передаваться и обрабатываться в Сети, точно так же, как гипертекст реализовал подобную функциональность для обычной информации. Более точно, MathML нацелен на

Кто является предполагаемыми пользователями?

MathML предназначен для использования (обычно, не напрямую) всеми, начиная со студентов-математиков, заканчивая учеными и инженерами. Также язык представляет механизм обмена данными между приложениями, обрабатывающими математические представления в том или ином виде.

Почему цели MathML шире, чем представление выражений?

Веб приносит фундаментальные изменения в подходе к для хранению знаний, и центральная роль отводится интерактивности. Важно предоставить способы обмена математической информацией, и помимо наличия механизмов отображения, важно упростить автоматическую обработку, поиск и индексацию, повторное использование в других математических приложениях и в других условиях. Это включает в себя моменты, когда важна математическая семантика, как, например, курс дистанционного обучения линейной алгебре.

Синтаксис MathML

MathML избыточен: я работаю с разметкой вручную и правка и чтение математической информации утомительны

Верно. Избыточность MathML в основном следует из решения рабочей группы взять за основу синтаксис XML. Причины этого решения заключаются в стандартизации, доступности инструментария и основной тенденции сетевых приложений к использованию XML в качестве формата передачи данных. Отрицательная сторона заключается в избыточности кода для случаев любой сложности, с вытекающими требованиями к иструментам для создания и обработки MathML. См. Инструментарий, продукты и ресурсы MathML.

Почему MathML не использовал TeX/LaTeX или DTD SGML ISO 12083 или AAP Math?

TeX и LaTeX очень широко используются для кодирования математических выражений, однако они представляют только внешнее представление и не работают с семантической или структурной информацией. Одной из целей рабочей группы было предоставление механизма, который не только имеет возможности TeX, но также имеет достаточно информации, так что представление

В дополнение к интерфейсу представления, важно предоставить механизмы кодирования математической семантики и контроля интерфейса между встроенным фрагментом MathML и обработкой браузером содержащей этот фрагмент страницы. Мы также брали в расчет, что для документа с математическими формулами будет предпочтительнее, если потребуется один тип парсера, нежели на математическом уровне будет использоваться совершенно другой формат.

DTD SGML ориентированны на целые документы, регулируемые одним DTD, а не на математические фрагменты в веб-страницах. Несмотря на труды по разработке DTD для математичнской семантики в рамках ISO 12083 (результат не входит в стандарт), существующие DTD SGML ориентированны на внешнее представление и не поддерживают кодирование семантики.

Приводит ли избыточность синтаксиса MathML к большим временным затратам на передачу по сети и обработку?

По сравнению с существующими методами, основанным на включении изображений в веб-страницы, например, GIF-файлов, MathML относительно быстро передается и обрабатывается.

Интерфейс браузеров для MathML

MathML основан на XML. Будут ли браузеры иметь встроенную поддержку MathML?

По мере того как производители браузеров переходят к более полной поддержке XML и связанных стандартов на таблицы стилей, таких как XSL, поддержка MathML становится более «родной».

Могу ли я найти подключаемый модуль или апплет для работы с MathML?

Да, см. Инструментарий, продукты и ресурсы MathML.

Существует ли тип MIME для MathML?

Рабочая группа обсуждала это, но пока зарегистрированного типа MIME нет.

Могу ли я включить теги APPLET, EMBED или OBJECT с MathML?

MathML определен как XML-приложение, поэтому специальной поддержки включения веб-объектов с фрагментами MathML нет. Вы можете использовать APPLET и EMBED в HTML-странице, чтобы запустить апплет или модуль обработки фрагмента или файла с MathML.

Технические вопросы

Заинтересована ли рабочая группа в разработке краткой формы ввода как части языка?

В процессе разработки MathML стало ясно, что требования к синтаксису ввода столь различны, что не может быть одного метода, удовлетворяющего всех пользователей. Многие участники рабочей группы разработали форматы ввода отдельно для своих инструментов. Рабочая группа предоставит технические рекомендации для тех, кто занят подобными разработками. Синтаксис ввода не является частью основной рекомендации на MathML.

Могу ли я изменить представление для семантических элементов — в частности, обрабатывать ⅈ как «j»?

Да, вы можете использовать семантический элемент для того, чтобы отдельно указать предпочтительное представление (в виде разметочных элементов MathML).

Почему отображение математической информации в браузере столь сложно? Редактор Microsoft Equation не имеет проблем с отображением формул.

Основная проблема состоит в том, что существующие браузеры не имеют отвечающего основным требованиям интерфейса для стороннего программного обеспечения, такого как подключаемые модули, апплеты и ActiveX. Возможно, проблемы будут решены в следующем поколении HTML, DOM и CSS. Кроме того, несмотря на успешные элементы программы, нельзя сказать, что MS Equation предоставляет отображение формул на высшем уровне или дает переносимые результаты.

Вот пример проблем. Модуль, обрабатывающий включенные формулы, должен использовать тот же размер и вид шрифта, что и во всем документе, при этом нужно контролировать вертикальное положение математических объектов относительно линии текста, подгонять размеры формул. Это проблематично из-за отсутствия связи между встроенными объектами и документом.

Более продвинутая схема составления документов не должна рассматривать модули раздельно, что даст возможность решения проблем.

Принял ли консорциум Юникод дополнительные символы, предложенные рабочей группой?

Unicode 2.1 еще не содержал новые символы для математики. Процесс получения признания со стороны технического комитета Unicode и соответствующего органа, контролирующего универсальный набор символов ISO 10646 довольно продолжителен.

Инструментарий, продукты и ресурсы MathML

Какие продукты поддерживают или будут поддерживать ввод, вывод и редактирование MathML?

См. http://www.w3.org/Math/implementations.html.

Возможен ли автоматический перевод в LaTeX / из LaTeX? Есть ли доступные инструменты?

Получение MathML (семантического и разметочного) из документов LaTeX, безусловно, возможно. Над этим работают University of Western Ontario (см. http://www.orcca.on.ca/MathML/), AMS и SIAM.

Я технический издатель. Зачем мне нужно преобразовывать мою информацию в MathML? Как это сделать?

Основная дилемма с новыми стандартами: контент не имеет смысла без инструментов для его создания и обработки, а производители не желают приступать к дорогостоящим разработкам, когда положение на рынке остается неясным. Однако уже сейчас есть ряд средств, находящихся на стадии разработки, см. Инструментарий, продукты и ресурсы MathML.

Другим важным вопросом является тенденция веб-приложений к использованию XML в качестве формата передачи данных. MathML является лишь стандартным XML DTD для математики в Сети. Рабочая группа комитета ISO 12083 считает, что MathML может быть подходящим модулем для математики в будущем модульном варианте стандарта 12083.

Дальнейшие сведения о MathML

Где можно получить дальнейшие сведения о MathML?

Посетите веб-сайт W3C.

Насколько широко MathML будет принят общественностью и промышленностью за пределами рабочей группы и ее друзей? Что делается для распространения технологии?

Одна из задач рабочей группы — распространение MathML в промышленных и образовательных кругах. Подробнее об этом вы можете узнать на веб-странице группы http://www.w3.org/Math/.

Рабочая группа W3C по математике

См. страницу рабочей группы.

Как я могу вступить в рабочую группу?

Свяжитесь по электронной почте с одним из председателей:

Вопросы по поводу математики в W3C: Max Froumentin <mf@w3.org>.

Copyright © 1998 W3C® (MIT, ERCIM, Keio), All Rights Reserved. W3C liability, trademark, document use and software licensing rules apply.