Biblioteca Global de Matemática Digital
Content
Fundo
Na primavera de 2014, o Comitê de Planejamento de uma Biblioteca Global de Ciências Matemáticas divulgou um estudo abrangente intitulado "Desenvolvendo uma Biblioteca Global para Pesquisa em Matemática do século XXI". Este relatório afirma em sua seção de plano estratégico: “Há um argumento convincente de que, através de uma combinação de métodos de aprendizado de máquina e esforço editorial dos editores pagos e voluntários, uma parte significativa da informação e conhecimento no corpus matemático global poderia ser disponibilizado aos pesquisadores como dados abertos vinculados através do GDML ".
Oficina
Um workshop intitulado "Representação semântica do conhecimento matemático" foi realizada no Fields Institute, em Toronto, entre 3 e 5 de fevereiro de 2016. O objetivo do workshop era estabelecer as fundações de uma linguagem de representação semântica do protótipo para o GDML. Os organizadores do workshop reconheceram que o escopo extremamente amplo da matemática como um todo o tornava irrealista mapear os conceitos, estruturas e operações detalhadas necessárias e usadas em assuntos matemáticos individuais. O workshop, portanto, limitou -se a pesquisas do status quo em idiomas de representação matemática, incluindo a representação de teoremas proeminentes e fundamentais em certas áreas que poderiam servir como blocos de construção para resultados matemáticos adicionais e discutir maneiras de melhor identificar e projetar componentes semânticos para disciplinas individuais de matemática.
Os organizadores do workshop estão atualmente [quando?] Preparando um relatório resumindo as conclusões do workshop e fazendo recomendações para progressos adicionais em direção a um GDML.