Ion, Patrick D. F.; Watt, Stephen M. The global digital mathematics library and the international mathematical knowledge trust. (English) Zbl 1367.68335 Geuvers, Herman (ed.) et al., Intelligent computer mathematics. 10th international conference, CICM 2017, Edinburgh, UK, July 17–21, 2017. Proceedings. Cham: Springer (ISBN 978-3-319-62074-9/pbk; 978-3-319-62075-6/ebook). Lecture Notes in Computer Science 10383. Lecture Notes in Artificial Intelligence, 56-69 (2017). Summary: We recall some of the reasons why we want and do not yet have a Global Digital Mathematics Library (GDML), both before and after the setting up of a GDML WG at the Seoul 2014 ICM. The recent founding of an International Mathematical Knowledge Trust (IMKT) in Waterloo ON, Canada is an important move in the right direction. The IMKT’s form and initial efforts will be described, with attention to why the project is the way it is.For the entire collection see [Zbl 1364.68010]. Cited in 5 Documents MSC: 68U35 Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) Software:GitHub; DLMF PDFBibTeX XMLCite \textit{P. D. F. Ion} and \textit{S. M. Watt}, Lect. Notes Comput. Sci. 10383, 56--69 (2017; Zbl 1367.68335) Full Text: DOI References: [1] Cornell University Library. https://arXiv.org [2] The New Library of Alexandria Website. http://www.bibalex.org/en/Page/About [3] Bouche, T.: Towards a digital mathematics library? A French pedestrian overview, Preprint. http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.399.9488 [4] Bouche, T.: Scripta Manent: The digital mathematics library as of 2014. Not. Am. Math. Soc. 61, 1085–1088 (2014). http://www.ams.org/notices/201409/rnoti-p1085.pdf · Zbl 1338.68278 [5] Bush, V.: Wikipedia. https://en.wikipedia.org/wiki/Vannevar_Bush [6] Memex: Wikipedia. https://en.wikipedia.org/wiki/Memex [7] Copeland, J.: Alan Turing’s lost notebook. OUPblog, 18 February 2017. https://blog.oup.com/2017/02/alan-turing-lost-notebook/. Also LMS Newsletter, p. 22, April 2017 http://newsletter.lms.ac.uk/wp-content/uploads/2017/03/April-2017-proofs_for-web_3.pdf [8] Dynamic Dictionary of Mathematical Functions: INRIA. http://ddmf.msr-inria.inria.fr/1.9.1/ddmf [9] Digital Library of Mathematical Functions: NIST. http://dlmf.nist.gov, https://www.nist.gov · Zbl 1019.65001 [10] Digital Repository of Mathematical Formulae: NIST, GitHub. https://github.com/DRMF, https://www.nist.gov, https://github.com [11] El-Abbadi, M.: Life and fate of the ancient library of Alexandria, notices and Google book. http://www.mutayninh.com/life-and-fate-of-the-ancient-library-of-alexandria.pdf, https://books.google.it/books/about/Life_and_Fate_of_the_Ancient_Library_of.html?hl=it&id=r6u-AAAACAAJ [12] Guyer, J.: Mostafa el-Abbadi, 88, Champion of Alexandria’s Resurrected Library, Dies. NY Times Article, 28 February 2017. https://www.nytimes.com/2017/02/28/world/middleeast/mostafa-el-abbadi-great-library-of-alexandria.html?_r=0 [13] Encyclopedia of Mathematics Website. https://www.encyclopediaofmath.org/ [14] The European Digital Mathematics Library Website. https://eudml.org/ [15] Semantic Representation of Mathematical Knowledge Workshop; Videos. http://www.fields.utoronto.ca/programs/scientific/15-16/semantic/, http://www.fields.utoronto.ca/video-archive/event/2053 [16] Excerpts from Video Documentary Towards a Semantic Language of Mathematics, Full Form. https://www.youtube.com/watch?v=HOtpVU4-FMc&feature=youtu.be, urlhttps://youtu.be/psSyM1zp82k [17] Griffin, E.: Rescue old data before it’s too late. Nature 545, 267, 18 May 2017. doi: 10.1038/545267a [18] HathiTrust Digital Library Website. https://hathitrust.org [19] International Consortium of Chinese Mathematicians Website. http://iccm.ymsc.tsinghua.edu.cn [20] Digital Mathematics Library: A Vision for the Future. International Mathematical Union (2006). http://www.mathunion.org/fileadmin/CEIC/Publications/dml_vision.pdf [21] Editorial: Towards a Global Digital Mathematical Library. IMU-Net 77, May 2016. http://www.mathunion.org/fileadmin/imu-net/pdfs/2016/IMU-Net-77.pdf [22] Sloan Funding in CEIC Notes. IMU-Net 81, January 2017. http://www.mathunion.org/fileadmin/imu-net/pdfs/2017/IMU-Net-81.pdf [23] Ion, Patrick: The effort to realize a global digital mathematics library. In: Greuel, Gert-Martin, Koch, Thorsten, Paule, Peter, Sommese, Andrew (eds.) ICMS 2016. LNCS, vol. 9725, pp. 458–466. Springer, Cham (2016). doi: 10.1007/978-3-319-42432-3_59 · Zbl 1434.68659 [24] AMS: Special Session on Mathematical Information in the Digital Age of Science, Seattle, 6–7 January 2016. http://jointmathematicsmeetings.org/meetings/national/jmm2016/2181_program_ss65.html [25] Lafferty, C., Blei, D.: Grant by Alfred P. Sloan Foundation: to accelerate scientific discovery by using statistical machine learning to enable advanced search of mathematical literature. http://sloan.org/grant-detail/6703 [26] Maple (Version 15) Website. http://www.maplesoft.com [27] Wolfram Mathematica (Version 11.1) Website. http://www.wolfram.com/mathematica/ [28] MathSciDoc, An Archive for Mathematicians Website. http://archive.ymsc.tsinghua.edu.cn [29] MathSciNet Website: American Mathematical Society. https://ams.org/mathscinet/ [30] The Mouseion Revisited Website. http://www.ldolphin.org/mouseion.html [31] http://msc2010.org/mscwiki/ [32] Numerical Algorithms Group Website. http://www.nag.com [33] Symposium Wiki on The Future World Heritage Digital Mathematics Library. National Academy of Sciences (2012). http://ada00.math.uni-bielefeld.de/mediawiki-1.18.1/index.php/Main_Page [34] Developing a 21st Century Global Library for Mathematics Research. The National Academies Press (2014) [35] OP SF NET, vol. 24, no. 1, 15 January 2017. http://math.nist.gov/opsf/nl241.pdf [36] Peano, G. (1858–1932): Formulaire de mathématiques. t. I-V.Turin, Bocca frères, Ch. Clausen, pp. 1894–1908. Archived Book https://archive.org/details/formulairedesmat00pean [37] Pitman, J., Lynch, C.: Planning a 21st century global library for mathematics research. Not. Am. Math. Soc. 61, 776–777 (2014). http://www.stat.berkeley.edu/ pitman/publications/planning_wdml.pdf [38] Project Euclid Website. Cornell University Library. https://projecteuclid.org [39] Rayward, W.B.: The Universe of Information: the Work of Paul Otlet for Documentation and International Organisation. All-Union Institute for Scientific and Technical Information [VINITI] for the International Federation for Documentation. Moscow, p. 239 (1975). http://lib.ugent.be/fulltxt/handle/1854/3989/otlet-universeofinformation.pdf [40] Saga, C.: Flat Earthers Hate the PROOF Given by Eratosthenes of a Spherical Earth Website Video. https://www.youtube.com/watch?v=h4AjYgjhwdw [41] Schröder, E.: Über Pasigraphie, ihren gegenwärtigen Stand und die pasigraphische Bewegung in Italien, Verhandlungen des ersten Internationalen Mathematiker-Kongresses in Zürich vom 9. bis, pp. 147–162, 11 August 1897. English translation in The Monist 9, 44–62 (1899) (Corrigenda p. 320). Original. http://www.mathunion.org/ICM/ICM1897/Main/icm1897.0147.0162.ocr.pdf [42] Seoul ICM 2014 Panel on Digital Mathematical Libraries; Video. https://www.youtube.com/watch?v=OERXmv2oIyU [43] The Alfred P. Sloan Foundation, New York, NY 10111 Website. https://sloan.org [44] Internet Visionary Paul Otlet: Networked Knowledge, Decades Before Google, by Meike Laaff in Der Spiegel International, 22 July 2011. http://www.spiegel.de/international/world/internet-visionary-paul-otlet-networked-knowledge-decades-before-google-a-775951.html, http://www.spiegel.de/netzwelt/web/netzvisionaer-paul-otlet-googles-genialer-urahn-a-768312.html [45] Turing, A.: The reform of mathematical notation and phraseology. Unpublished manuscript from ca. 1942. Turing Archive as Auction lot http://www.turingarchive.org/browse.php/C/12, http://www.bonhams.com/auctions/22795/lot/1/ [46] Villani, C.: Hamilton Lecture at Trinity College Dublin video, from minute 11:20. https://www.youtube.com/watch?v=aKfTI_CMiX4 [47] Faculty of Mathematics and Computer Science, University of Waterloo, Waterloo, ON, Canada. https://uwaterloo.ca/math/ [48] Watt, S.M.: How to build a global digital mathematics library. In: 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2016. http://synasc.ro/2016/invited-speakers-2/stephan-watt/index.html [49] Website. http://www.zentralblatt-math.org/zbmath/ This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.