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.
Access provided by Autonomous University of Puebla. Download to read the full chapter text
Chapter PDF
Similar content being viewed by others
Keywords
References
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)
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
Bampasidou, M., Gentimis, T.: Modeling collaborations with persistent homology. Preprint arXiv:1403.5346v1
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)
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
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)
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/
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/
Peano, G.: Formulaire de mathématiques. t. I-V. Turin, Bocca frères, Ch. Clausen, (1858-1932) 1894–1908
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)
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/
valid 15 May 2014 or thereafter
EuDML - The European Digital Mathematics Library, https://eudml.org/
MathJax Home Page, http://www.mathjax.org
Database, http://www.ams.org/mathscinet/
Mathematics Subject Classification, http://msc2010.org
PlanetMath: math for the people, http://planetmath.org/
An information system for mathematical software, http://swmath.org/
World Wide Web Consortium, http://www.w3.org/
Wikipedia, http://wikipedia.org/
Database, http://www.ams.org/mathscinet/
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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)