Skip to main content
SpringerLink
Log in

Early Examples of Software in Mathematical Knowledge Management

  • Conference paper
Mathematical Software – ICMS 2014 (ICMS 2014)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 8592))

Included in the following conference series:

  • 2009 Accesses

Abstract

There are new roles for software in mathematical knowledge management (MKM). Three simple initial examples of MKM roles will be considered here. The first is software applied to the Mathematical Subject Classification (MSC). The second example is MathML (Mathematics Markup Language), a standard from the W3C, now in its third edition, and hoping to become an ISO standard. The third example of software in the service of mathematical knowledge is the use of programs to analyze the nature of our subject as represented by its literature seen as a network. How these tools have already been deployed makes clear that mathematical knowledge management, even in its primitive present form, can aid further development of mathematics. These examples above are just starting points.

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

Access this chapter

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 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

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Atkin, R.H.: An algebra for patterns on a complex, I. Internat. J. Man-Machine Stud. 6, 285–307 (1974); II. Internat. J. Man-Machine Stud. 8, 483–448 (1976)

    Google Scholar 

  2. Babson, E., Barcelo, H., de Longueville, M., Laubenbacher, R.: Homotopy theory of graphs. J. Algebr. Comb. 24, 31–44 (2006), doi:10.1007/s10801-006-9100-0

    Article  MATH  Google Scholar 

  3. Bampasidou, M., Gentimis, T.: Modeling collaborations with persistent homology. Preprint arXiv:1403.5346v1

    Google Scholar 

  4. Borjas, G., Doran, K.: The Collapse of the Soviet Union and the Productivity of American Mathematicians. Quarterly Journal of Economics 127(3), 1143–1203 (2012)

    Article  Google Scholar 

  5. J.C. Brunson, S. Fassino, A. McInnes, M. Narayan, B. Richardson, C. Franck, P. Ion and R. Laubenbacher: Laubenbacher: Scientometrics (2013), doi: 10.1007/s11192-013-1209-z

    Google Scholar 

  6. Dubois, P., Rochet, J.-C., Schlenker, J.-M.: Productivity and Mobility in Academic Research: Evidence from Mathematicians. IDEI Working Paper, n. 606 (October 2010), (revised March 2013)

    Google Scholar 

  7. Berjon, R., Faulkner, S., Leithead, T., Navara, E.D., O’Connor, E., Pfeiffer, S., Hickson, I.: HTML 5, A vocabulary and associated APIs for HTML and XHTML. W3C Candidate Recommendation (February 04, 2014), http://www.w3.org/TR/html5/

  8. Carlisle, D., Ion, P., Miner, R.: Mathematical Markup Language (MathML) Version 3.0, 2nd edn. W3C Recommendation (April 10, 2014), http://www.w3.org/TR/2014/REC-MathML3-20140410/

  9. Peano, G.: Formulaire de mathématiques. t. I-V. Turin, Bocca frères, Ch. Clausen, (1858-1932) 1894–1908

    Google Scholar 

  10. Schröder, E.: Über Pasigraphie, ihren gegenwärtigen Stand und die pasigraphische Bewegung in Italien. 147–162 of Verhandlungen des ersten Internationalen Mathematiker-Kongresses in Zürich vom 9. bis 11. August (1897)

    Google Scholar 

  11. Bray, T., Paoli, J., Sperberg-McQueen, C.M., Maler, E., Yergeau, F. (eds.): Extensible Markup Language (XML) 1.0 , 5th edn. W3C Recommendation, (November 26, 2008), http://www.w3.org/TR/xml/

  12. valid 15 May 2014 or thereafter

    Google Scholar 

  13. EuDML - The European Digital Mathematics Library, https://eudml.org/

  14. MathJax Home Page, http://www.mathjax.org

  15. Database, http://www.ams.org/mathscinet/

  16. Mathematics Subject Classification, http://msc2010.org

  17. http://msc2010.org/mscwiki/

  18. http://msc2010.org/resources/MSC/2010/info/

  19. http://msc2010.org/MSC-2010-server.html

  20. PlanetMath: math for the people, http://planetmath.org/

  21. http://www.w3.org/2004/02/skos/

  22. An information system for mathematical software, http://swmath.org/

  23. World Wide Web Consortium, http://www.w3.org/

  24. Wikipedia, http://wikipedia.org/

  25. Database, http://www.ams.org/mathscinet/

Download references

Author information

Authors and Affiliations

  1. Mathematical Reviews [AMS], USA

    Patrick Ion

  2. University of Michigan, USA

    Patrick Ion

Authors
  1. Patrick Ion
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Mathematics, North Carolina State University, Box 8205, 27695, Raleigh, NC, USA

    Hoon Hong

  2. Courant Institute, Dept. of Computer Science, New York Institute, 251 Mercer Street, 10012, New York, NY, USA

    Chee Yap

Rights and permissions

Reprints and permissions

Copyright information

© 2014 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Ion, P. (2014). Early Examples of Software in Mathematical Knowledge Management. In: Hong, H., Yap, C. (eds) Mathematical Software – ICMS 2014. ICMS 2014. Lecture Notes in Computer Science, vol 8592. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-44199-2_6

Download citation

  • DOI: https://doi.org/10.1007/978-3-662-44199-2_6

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-662-44198-5

  • Online ISBN: 978-3-662-44199-2

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation