Globální knihovna digitální matematiky - Global Digital Mathematics Library
The Globální knihovna digitální matematiky (GDML)[1] je projekt organizovaný pod záštitou Mezinárodní matematická unie (IMU) založit digitální knihovna soustředěný na matematika.
Po roce 2014 byla v září 2014 svolána pracovní skupina Mezinárodní kongres matematiků, bývalý předseda IMU Ingrid Daubechies a židle Peter J. Olver Výboru IMU pro elektronické informace a komunikaci (CEIC). V současné době[když? ] pracovní skupina má osm členů, jmenovitě:
- Thierry Bouche, Institut Fourier & Cellule MathDoc, Grenoble, Francie
- Bruno Buchberger, RISC, Hagenberg / Linec, Rakousko
- Patrick Ion, Matematické recenze / AMS, Ann Arbor, MI, USA
- Michael Kohlhase, Jacobs University, Brémy, Německo
- Jim Pitman, University of California, Berkeley, CA, USA
- Olaf Teschke, zbMATH / FIZ, Berlín, Německo
- Stephen M. Watt, University of Waterloo, Waterloo, ON, Kanada
- Eric Weisstein, Wolfram Research, McAllen, TX, USA
Pozadí
Na jaře roku 2014 vydal Výbor pro plánování globální knihovny matematických věd komplexní studii nazvanou „Vývoj globální knihovny 21. století pro matematický výzkum“.[2] Tato zpráva ve své části Strategický plán uvádí: „Existuje přesvědčivý argument, že kombinací metod strojového učení a redakčního úsilí placených i dobrovolných editorů lze získat významnou část informací a znalostí v globálním matematickém korpusu výzkumníkům jako propojená otevřená data prostřednictvím GDML. “
Dílna
Na konferenci se konal workshop s názvem "Sémantická reprezentace matematických znalostí" Fields Institute v Torontu během 3. – 5. února 2016.[3][4] Cílem workshopu bylo položit základy prototypu sémantického reprezentačního jazyka pro GDML. Organizátoři semináře uznali, že díky extrémně širokému rozsahu matematiky jako celku bylo nerealistické zmapovat podrobné koncepty, struktury a operace potřebné a použité v jednotlivých matematických předmětech. Workshop se proto omezil na průzkumy současného stavu v jazycích matematické reprezentace, včetně reprezentace významných a základních teorémů v určitých oblastech, které by mohly sloužit jako stavební kameny pro další matematické výsledky, a na diskusi o způsobech, jak nejlépe identifikovat a navrhnout sémantické komponenty pro jednotlivé disciplíny matematiky.
V současné době jsou organizátoři workshopu[když? ] příprava zprávy shrnující závěry workshopu a doporučení pro další postup směrem k GDML.
Reference
- ^ „Pracovní skupina Globální digitální matematické knihovny (GDML WG) -„ Světová digitální matematická knihovna “(WDML)“.
- ^ Rada pro národní výzkum (18. března 2014). „Rozvoj globální knihovny 21. století pro matematický výzkum“. doi:10.17226/18619.
- ^ „Fields Institute - Semantic Reprezentation of Mathematical Knowledge Workshop“.
- ^ „Vypočítatelný archiv matematiky: Projekt (nebo program) Wolfram Foundation“.