Skip to main content
SpringerLink
Log in
Book cover

International Conference on Intelligent Computer Mathematics

CICM 2017: Intelligent Computer Mathematics pp 56–69Cite as

The Global Digital Mathematics Library and the International Mathematical Knowledge Trust

  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNAI,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.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Notes

  1. 1.

    Most of the ancient dates are to be taken as approximate at best, and much of the material can be found at [Mouseion].

  2. 2.

    At least as remarked in a lecture by Cédric Villani [Villani:2014] or by Carl Sagan [Sagan:2015]. Of course, the scholarship required to justify this fully would be considerable and we cannot provide a reference for it presently. He is alleged to have arrived at a circumference of 40,000 km versus NASA’s current value of 40,030. These items illustrate the variety of sources a GDML needs to take into account, as well as how easy it may be for some to get interesting material.

  3. 3.

    A scholarly work on these matters is Life And Fate Of The Ancient Library Of Alexandria by Mostafa El-Abbadi, who was a moving force behind the new Library and died in 2017 [El-Abbadi:1986, El-Abbadi:2017].

  4. 4.

    This is not the Geometry Description Markup Language invented to enable description of events at the CERN Large Hadron Collider. However, that GDML certainly has a relationship with the capture of mathematical meaning, as does SVG for two-dimensional geometry.

  5. 5.

    A telephone bridge has been kindly provided by Wolfram Research.

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

    Article  MATH  Google Scholar 

  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

  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

    Chapter  Google Scholar 

  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)

    Google Scholar 

  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/

Download references

Author information

Authors and Affiliations

  1. AMS, University of Michigan, Ann Arbor, MI, USA

    Patrick D. F. Ion

  2. Faculty of Mathematics, University of Waterloo, Waterloo, ON, Canada

    Stephen M. Watt

Authors
  1. Patrick D. F. Ion
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Stephen M. Watt
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Patrick D. F. Ion .

Editor information

Editors and Affiliations

  1. Radboud University, Nijmegen, The Netherlands

    Herman Geuvers

  2. Coventry University, Coventry, United Kingdom

    Matthew England

  3. National University of Sciences and Technology, Islamabad, Pakistan

    Osman Hasan

  4. Jacobs University Bremen, Bremen, Germany

    Florian Rabe

  5. FIZ Karlsruhe, Berlin, Germany

    Olaf Teschke

Rights and permissions

Reprints and permissions

Copyright information

© 2017 Springer International Publishing AG

About this paper

Cite this paper

Ion, P.D.F., Watt, S.M. (2017). The Global Digital Mathematics Library and the International Mathematical Knowledge Trust. In: Geuvers, H., England, M., Hasan, O., Rabe, F., Teschke, O. (eds) Intelligent Computer Mathematics. CICM 2017. Lecture Notes in Computer Science(), vol 10383. Springer, Cham. https://doi.org/10.1007/978-3-319-62075-6_5

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-62075-6_5

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-62074-9

  • Online ISBN: 978-3-319-62075-6

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation