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