Глобальная цифровая математическая библиотека -Global Digital Mathematics Library
Глобальная Mathematics Library Digital ( GDML ) является проект , организованный под эгидой Международного математического союза (ИДУ) о создании цифровой библиотеки сосредоточены на математике .
Рабочая группа была созвана в сентябре 2014 года после Международного математического конгресса 2014 года бывшим президентом ИДУ Ингрид Добешис и председателем Комитета ИДУ по электронной информации и коммуникациям Питером Дж. Олвером (CEIC). В настоящее время рабочая группа состоит из восьми человек, а именно:
- Тьерри Буш, Institut Fourier & Cellule MathDoc, Гренобль, Франция
- Бруно Бухбергер , RISC , Хагенберг / Линц, Австрия
- Патрик Ион , Mathematical Reviews / AMS, Анн-Арбор, Мичиган, США
- Михаэль Кольхазе , Университет Якобса , Бремен, Германия
- Джим Питман, Калифорнийский университет, Беркли , Калифорния, США
- Олаф Тешке, zbMATH / FIZ , Берлин, Германия
- Стивен М. Ватт , Университет Ватерлоо , Ватерлоо, Онтарио, Канада
- Эрик Вайсштейн , Wolfram Research , Макаллен, Техас, США
Задний план
Весной 2014 года Комитет по планированию создания глобальной библиотеки математических наук опубликовал всеобъемлющее исследование под названием «Создание глобальной библиотеки математических исследований 21 века». В разделе «Стратегический план» этого отчета говорится: «Существует убедительный аргумент в пользу того, что благодаря сочетанию методов машинного обучения и редакционных усилий как платных, так и добровольных редакторов значительная часть информации и знаний в глобальном математическом корпусе может стать доступной. исследователям как связанные открытые данные через GDML ".
цех
Семантический семинар под названием «Семантическое представление математических знаний» прошел в Институте Филдса в Торонто с 3 по 5 февраля 2016 года. Целью семинара было заложить основы прототипа языка семантического представления для GDML. Организаторы семинара признали, что чрезвычайно широкий охват математики в целом делает нереалистичным составление подробных концепций, структур и операций, необходимых и используемых в отдельных математических предметах. Таким образом, семинар ограничился обзорами статус-кво в языках математического представления, включая представление основных и фундаментальных теорем в определенных областях, которые могут служить строительными блоками для дополнительных математических результатов, и обсуждением способов наилучшего определения и разработки семантических компонентов для отдельных дисциплин. математики.
Организаторы семинара в настоящее время готовят отчет, в котором резюмируются выводы семинара и даются рекомендации по дальнейшему продвижению к GDML.