Advertisement

The Global Digital Mathematics Library and the International Mathematical Knowledge Trust

  • Patrick D. F. Ion
  • Stephen M. Watt
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 10383)

Abstract

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.

References

  1. [arXiv.org]
    Cornell University Library. https://arXiv.org
  2. [Bibliotheca Alexandrina]
    The New Library of Alexandria Website. http://www.bibalex.org/en/Page/About
  3. [Bouche:2008]
    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:2014]
    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 CrossRefzbMATHGoogle Scholar
  5. [Bush, Vannevar:bio]
  6. [Bush:1945]
  7. [Copeland:2017]
    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. [DDMF]
    Dynamic Dictionary of Mathematical Functions: INRIA. http://ddmf.msr-inria.inria.fr/1.9.1/ddmf
  9. [DLMF]
    Digital Library of Mathematical Functions: NIST. http://dlmf.nist.gov, https://www.nist.gov
  10. [DRMF]
    Digital Repository of Mathematical Formulae: NIST, GitHub. https://github.com/DRMF, https://www.nist.gov, https://github.com
  11. [El-Abbadi:1986]
  12. [El-Abbadi:2017]
    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]
    Encyclopedia of Mathematics Website. https://www.encyclopediaofmath.org/
  14. [EuDML]
    The European Digital Mathematics Library Website. https://eudml.org/
  15. [Fields:2016]
  16. [Fields:docu]
    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:2017]
    Griffin, E.: Rescue old data before it’s too late. Nature 545, 267, 18 May 2017. doi: 10.1038/545267a
  18. [HathiTrust]
    HathiTrust Digital Library Website. https://hathitrust.org
  19. [ICCM]
    International Consortium of Chinese Mathematicians Website. http://iccm.ymsc.tsinghua.edu.cn
  20. [IMU:2006]
    Digital Mathematics Library: A Vision for the Future. International Mathematical Union (2006). http://www.mathunion.org/fileadmin/CEIC/Publications/dml_vision.pdf
  21. [IMU-Net 77:May 2016]
    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. [IMU-Net 81:January 2017]
    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:2016]
    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 CrossRefGoogle Scholar
  24. [JMM:2016]
    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 & Blei: 2016]
    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]
    Maple (Version 15) Website. http://www.maplesoft.com
  27. [Mathematica]
    Wolfram Mathematica (Version 11.1) Website. http://www.wolfram.com/mathematica/
  28. [MathSciDoc]
    MathSciDoc, An Archive for Mathematicians Website. http://archive.ymsc.tsinghua.edu.cn
  29. [MathSciNet]
    MathSciNet Website: American Mathematical Society. https://ams.org/mathscinet/
  30. [Mouseion]
    The Mouseion Revisited Website. http://www.ldolphin.org/mouseion.html
  31. [MSC2010:MediaWiki]
  32. [NAG]
    Numerical Algorithms Group Website. http://www.nag.com
  33. [NAS:2012]
    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. [NRC/USA:2014]
    Developing a 21st Century Global Library for Mathematics Research. The National Academies Press (2014)Google Scholar
  35. [OP SF NET: 2017]
    OP SF NET, vol. 24, no. 1, 15 January 2017. http://math.nist.gov/opsf/nl241.pdf
  36. [Peano:1894]
    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 & Lynch:2014]
    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]
    Project Euclid Website. Cornell University Library. https://projecteuclid.org
  39. [Rayward:1975]
    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. [Sagan:2015]
    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:1897]
    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 DML Panel]
    Seoul ICM 2014 Panel on Digital Mathematical Libraries; Video. https://www.youtube.com/watch?v=OERXmv2oIyU
  43. [Sloan]
    The Alfred P. Sloan Foundation, New York, NY 10111 Website. https://sloan.org
  44. [Spiegel:2011]
  45. [Turing:1942]
    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:2014]
    Villani, C.: Hamilton Lecture at Trinity College Dublin video, from minute 11:20. https://www.youtube.com/watch?v=aKfTI_CMiX4
  47. [Waterloo Math]
    Faculty of Mathematics and Computer Science, University of Waterloo, Waterloo, ON, Canada. https://uwaterloo.ca/math/
  48. [Watt:2016]
    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. [zbMATH]

Copyright information

© Springer International Publishing AG 2017

Authors and Affiliations

  1. 1.AMS, University of MichiganAnn ArborUSA
  2. 2.Faculty of MathematicsUniversity of WaterlooWaterlooCanada

Personalised recommendations