The Effort to Realize a Global Digital Mathematics Library

被引:1
作者
Ion, Patrick [1 ]
机构
[1] Univ Michigan, AMS, Ann Arbor, MI 48109 USA
来源
MATHEMATICAL SOFTWARE, ICMS 2016 | 2016年 / 9725卷
关键词
D O I
10.1007/978-3-319-42432-3_59
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
A decade after a resolution in 2006 by the International Mathematical Union endorsing the notion of a global digital mathematics library, and following a thorough report on possibilities written under the auspices of the US National Research Council in 2012, an 8-person Working Group, set up in 2014, is still working toward implementations of some of the ideas. There are difficulties with mobilizing the mathematical community toward building worthwhile infrastructure in times that are both perilous and well off, depending on where you stand. But progress continues.
引用
收藏
页码:458 / 466
页数:9
相关论文
共 50 条
[41]   The music plagiarism digital archive at Columbia Law Library; An effort to demystify music copyright infringement [J].
Cronin, C .
SECOND INTERNATIONAL CONFERENCE ON WEB DELIVERING OF MUSIC, PROCEEDINGS, 2002, :133-140
[42]   Informing Pandemic Preparedness Through a Digital Global Health Security Library [J].
Carlin, Ellen P. ;
Graeden, Ellie ;
Robertson, Hailey ;
Katz, Rebecca .
HEALTH SECURITY, 2022, 20 (03) :256-260
[43]   Mathematics in the library of el escorial [J].
Pieter Maritz .
The Mathematical Intelligencer, 2004, 26 :34-37
[44]   Mathematics in the library of El Escorial [J].
Maritz, P .
MATHEMATICAL INTELLIGENCER, 2004, 26 (01) :34-37
[45]   Maintaining a Library of Formal Mathematics [J].
van Doorn, Floris ;
Ebner, Gabriel ;
Lewis, Robert Y. .
INTELLIGENT COMPUTER MATHEMATICS, CICM 2020, 2020, 12236 :251-267
[46]   SAP global LCM services to realize global operation and maintenance [J].
Seino, Naoki .
Fujitsu Scientific and Technical Journal, 2019, 55 (01) :59-63
[47]   Effort in Multitasking: Local and Global Assessment of Effort [J].
Kiesel, Andrea ;
Dignath, David .
FRONTIERS IN PSYCHOLOGY, 2017, 8
[48]   SAP Global LCM Services to Realize Global Operation and Maintenance [J].
Seino, Naoki .
FUJITSU SCIENTIFIC & TECHNICAL JOURNAL, 2019, 55 (01) :59-63
[49]   A graph-based approach towards discerning inherent structures in a digital library of formal mathematics [J].
Lorigo, L ;
Kleinberg, J ;
Eaton, R ;
Constable, R .
MATHEMATICAL KNOWLEDGE MANAGEMENT, PROCEEDINGS, 2004, 3119 :220-235
[50]   Global monitoring effort [J].
Lackner, Susanne .
CHEMISTRY & INDUSTRY, 2022, 86 (02) :29-29