The Global Digital Mathematics Library and the International Mathematical Knowledge Trust

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


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.


  1. []
    Cornell University Library.
  2. [Bibliotheca Alexandrina]
    The New Library of Alexandria Website.
  3. [Bouche:2008]
    Bouche, T.: Towards a digital mathematics library? A French pedestrian overview, Preprint.
  4. [Bouche:2014]
    Bouche, T.: Scripta Manent: The digital mathematics library as of 2014. Not. Am. Math. Soc. 61, 1085–1088 (2014). CrossRefzbMATHGoogle Scholar
  5. [Bush, Vannevar:bio]
  6. [Bush:1945]
  7. [Copeland:2017]
    Copeland, J.: Alan Turing’s lost notebook. OUPblog, 18 February 2017. Also LMS Newsletter, p. 22, April 2017
  8. [DDMF]
    Dynamic Dictionary of Mathematical Functions: INRIA.
  9. [DLMF]
    Digital Library of Mathematical Functions: NIST.,
  10. [DRMF]
    Digital Repository of Mathematical Formulae: NIST, GitHub.,,
  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.
  13. [Encyclopedia]
    Encyclopedia of Mathematics Website.
  14. [EuDML]
    The European Digital Mathematics Library Website.
  15. [Fields:2016]
  16. [Fields:docu]
    Excerpts from Video Documentary Towards a Semantic Language of Mathematics, Full Form., url
  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.
  19. [ICCM]
    International Consortium of Chinese Mathematicians Website.
  20. [IMU:2006]
    Digital Mathematics Library: A Vision for the Future. International Mathematical Union (2006).
  21. [IMU-Net 77:May 2016]
    Editorial: Towards a Global Digital Mathematical Library. IMU-Net 77, May 2016.
  22. [IMU-Net 81:January 2017]
    Sloan Funding in CEIC Notes. IMU-Net 81, January 2017.
  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.
  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.
  26. [Maple]
    Maple (Version 15) Website.
  27. [Mathematica]
    Wolfram Mathematica (Version 11.1) Website.
  28. [MathSciDoc]
    MathSciDoc, An Archive for Mathematicians Website.
  29. [MathSciNet]
    MathSciNet Website: American Mathematical Society.
  30. [Mouseion]
    The Mouseion Revisited Website.
  31. [MSC2010:MediaWiki]
  32. [NAG]
    Numerical Algorithms Group Website.
  33. [NAS:2012]
    Symposium Wiki on The Future World Heritage Digital Mathematics Library. National Academy of Sciences (2012).
  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.
  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
  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).
  38. [Project Euclid]
    Project Euclid Website. Cornell University Library.
  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).
  40. [Sagan:2015]
    Saga, C.: Flat Earthers Hate the PROOF Given by Eratosthenes of a Spherical Earth Website Video.
  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.
  42. [Seoul DML Panel]
    Seoul ICM 2014 Panel on Digital Mathematical Libraries; Video.
  43. [Sloan]
    The Alfred P. Sloan Foundation, New York, NY 10111 Website.
  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,
  46. [Villani:2014]
    Villani, C.: Hamilton Lecture at Trinity College Dublin video, from minute 11:20.
  47. [Waterloo Math]
    Faculty of Mathematics and Computer Science, University of Waterloo, Waterloo, ON, Canada.
  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.
  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