Globalna biblioteka matematyki cyfrowej
Globalna Biblioteka Matematyki Cyfrowej ( GDML ) to projekt zorganizowany pod auspicjami Międzynarodowej Unii Matematycznej (IMU) w celu stworzenia cyfrowej biblioteki poświęconej matematyce .
Grupa robocza została zwołana we wrześniu 2014 r., po Międzynarodowym Kongresie Matematyków w 2014 r. , przez byłą przewodniczącą IRU Ingrid Daubechies i przewodniczącego Petera J. Olvera z Komisji Informacji Elektronicznej i Komunikacji IRU (CEIC). Obecnie [ kiedy? ] grupa robocza liczy ośmiu członków, a mianowicie:
- Thierry Bouche, Institut Fourier & Cellule MathDoc, Grenoble, Francja
- Bruno Buchberger , RISC , Hagenberg/Linz, Austria
- Patrick Ion , Recenzje matematyczne /AMS, Ann Arbor, MI, USA
- Michael Kohlhase , Jacobs University , Brema, Niemcy
- Jim Pitman, Uniwersytet Kalifornijski, Berkeley , Kalifornia, USA
- Olaf Teschke, zbMATH/FIZ , Berlin, Niemcy
- Stephen M. Watt , University of Waterloo , Waterloo, ON, Kanada
- Eric Weisstein , Wolfram Research , McAllen, TX, USA
Tło
Wiosną 2014 roku Komitet ds. Planowania Globalnej Biblioteki Nauk Matematycznych opublikował obszerne opracowanie zatytułowane „Opracowywanie globalnej biblioteki XXI wieku na potrzeby badań matematycznych”. Ten raport stwierdza w sekcji Plan strategiczny: „Istnieje przekonujący argument, że dzięki połączeniu metod uczenia maszynowego i wysiłkom redakcyjnym zarówno płatnych, jak i wolontariuszy redaktorów, można udostępnić znaczną część informacji i wiedzy w globalnym korpusie matematycznym naukowcom jako połączone otwarte dane za pośrednictwem GDML”.
Warsztat
Instytucie Fieldsa odbyły się warsztaty zatytułowane „Semantyczna reprezentacja wiedzy matematycznej”. w Toronto w dniach 3-5 lutego 2016 r. Celem warsztatów było stworzenie podstaw prototypowego języka reprezentacji semantycznej dla GDML. Organizatorzy warsztatów uznali, że niezwykle szeroki zakres matematyki jako całości sprawia, że nierealne jest nakreślenie szczegółowych pojęć, struktur i operacji potrzebnych i stosowanych w poszczególnych przedmiotach matematycznych. Warsztaty ograniczyły się zatem do przeglądu status quo w językach reprezentacji matematycznej, w tym przedstawienia najważniejszych i podstawowych twierdzeń w pewnych obszarach, które mogłyby posłużyć jako elementy składowe dodatkowych wyników matematycznych, oraz do omówienia sposobów najlepszej identyfikacji i zaprojektowania komponentów semantycznych dla poszczególnych dyscyplin matematyki.
Organizatorzy warsztatów są obecnie [ kiedy? ] przygotowanie raportu podsumowującego wnioski z warsztatów i sformułowanie zaleceń dotyczących dalszych postępów w kierunku GDML.