×

Early examples of software in mathematical knowledge management. (English) Zbl 1403.68281

Hong, Hoon (ed.) et al., Mathematical software – ICMS 2014. 4th international congress, Seoul, South Korea, August 5–9, 2014. Proceedings. Berlin: Springer (ISBN 978-3-662-44198-5/pbk). Lecture Notes in Computer Science 8592, 31-35 (2014).
Summary: 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.
For the entire collection see [Zbl 1293.65003].

MSC:

68T30 Knowledge representation

Software:

MSC; MathJax
PDFBibTeX XMLCite
Full Text: DOI