A review of mathematical knowledge management. (English) Zbl 1247.68266
Carette, Jacques (ed.) et al., Intelligent computer mathematics. 16th symposium, Calculemus 2009, 8th international conference, MKM 2009, held as part of CICM 2009, Grand Bend, Canada, July 6–12, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02613-3/pbk). Lecture Notes in Computer Science 5625. Lecture Notes in Artificial Intelligence, 233-246 (2009).
Summary: Mathematical knowledge management (MKM), as a field, has seen tremendous growth in the last few years. This period was one where many research threads were started and the field was defining itself. We believe that we are now in a position to use the MKM body of knowledge as a means to define what MKM is, what it worries about, etc. In this paper, we review the literature of MKM and gather various metadata from these papers. After offering some definitions surrounding MKM, we analyze the metadata we have gathered from these papers, in an effort to cast more light on the field of MKM and its evolution.
For the entire collection see [Zbl 1165.68005].
For the entire collection see [Zbl 1165.68005].
MSC:
| 68T30 | Knowledge representation |
References:
| [1] | Adams, A.A.: Digitisation, representation, and formalisation. In: Asperti, et al. (eds.) [4], pp. 1–16 · Zbl 1022.68609 |
| [2] | Adams, A.A., Davenport, J.H.: Copyright issues for MKM. In: Asperti, et al. (eds.) [3], pp. 1–16 · Zbl 1108.68581 · doi:10.1007/978-3-540-27818-4_1 |
| [3] | Asperti, A., Bancerek, G., Trybulec, A. (eds.): MKM 2004. LNCS, vol. 3119. Springer, Heidelberg (2004) · Zbl 1053.68003 |
| [4] | Asperti, A., Buchberger, B., Davenport, J.H. (eds.): MKM 2003. LNCS, vol. 2594. Springer, Heidelberg (2003) · Zbl 1015.00029 |
| [5] | Aspinall, D., Lüth, C., Winterstein, D.: A framework for interactive proof. In: Kauers, et al. (eds.) [27], pp. 161–175 · Zbl 1202.68371 · doi:10.1007/978-3-540-73086-6_15 |
| [6] | Autexier, S., Campbell, J., Rubio, J., Sorge, V., Suzuki, M., Wiedijk, F. (eds.): AISC 2008, Calculemus 2008, and MKM 2008. LNCS, vol. 5144. Springer, Heidelberg (2008) · Zbl 1154.68002 |
| [7] | Borwein, J.M., Farmer, W.M. (eds.): MKM 2006. LNCS, vol. 4108. Springer, Heidelberg (2006) · Zbl 1114.68004 |
| [8] | Borwein, J.M., Stanway, T.: Managing digital mathematical discourse. In: Asperti, et al. (eds.) [4], pp. 45–55 · Zbl 1022.68611 · doi:10.1007/3-540-36469-2_4 |
| [9] | Boyer, R.: The QED Manifesto. In: Bundy, A. (ed.) Proceedings CADE 12, pp. 238–251 (1994) |
| [10] | Buchberger, B., Caprotti, O. (eds.): Electronic Proceedings of the First International Workshop on Mathematical Knowledge Management: MKM 2001. RISC-Linz (2001), http://www.risc.uni-linz.ac.at/about/conferences/MKM2001/Proceedings · Zbl 0978.00042 |
| [11] | Buchberger, B., Gonnet, G.H., Hazewinkel, M. (eds.): Mathematical Knowledge Management. Ann. Math. Artif. Intell, vol. 38. Kluwer, Dordrecht (2003) |
| [12] | Bundy, A.: Automating signature evolution in logical theories. In: Autexier, et al. (eds.) [6], pp. 333–338 · Zbl 1166.68356 · doi:10.1007/978-3-540-85110-3_29 |
| [13] | Cairns, P.A., Gow, J., Collins, P.: On dynamically presenting a topology course. Ann. Math. Artif. Intell. 38(1-3), 91–104 (2003) · Zbl 1033.68734 · doi:10.1023/A:1022963714083 |
| [14] | Cajori, F.: A History of Mathematical Notations. Dover, New York (reprint) (1929) · JFM 55.0002.02 |
| [15] | Coen, C.S.: From proof-assistants to distributed libraries of mathematics: Tips and pitfalls. In: Asperti, et al. (eds.) [4], pp. 30–44 · Zbl 1022.68614 · doi:10.1007/3-540-36469-2_3 |
| [16] | Davis, M.: The Universal Computer: The Road from Leibniz to Turing. W. W. Norton & Co., Inc., New York (2000) · Zbl 0960.01001 |
| [17] | de Bruijn, N.G.: A Survey of the Project Automath. To H.B. Curry: Essays on Combinatory Logic, 579–606 (1980) |
| [18] | Encyclopédie ou dictionnaire raisonné des sciences, des arts et des métiers, pp. 1751–1772 |
| [19] | Engelbart, D.: A research center for augmenting human intellect (demo) (December 1968), http://en.wikipedia.org/wiki/The_Mother_of_All_Demos |
| [20] | Farmer, W.M.: MKM: A new interdisciplinary field of research. ACM SIGSAM Bulletin 38, 47–52 (2004) · Zbl 1341.68225 · doi:10.1145/1041791.1041795 |
| [21] | Farmer, W.M.: Mathematical knowledge management. In: Schwartz, D.G. (ed.) Encyclopedia of Knowledge Management. Information Science Reference, pp. 599–604 (2005) |
| [22] | Frege, G.: Begriffsschrift: eine der arithmetische nachgebildete Formelsprache des reinen Denkens. L. Nebert, Halle a/S (1879/1997) |
| [23] | Gödel, K.: Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme. Monatshefte für Mathematik und Physik 38(1), 173–198 (1931) · Zbl 0002.00101 · doi:10.1007/BF01700692 |
| [24] | Guidi, F., Schena, I.: A query language for a metadata framework about mathematical resources. In: Asperti, et al. (eds.) [4], pp. 105–118 · Zbl 1022.68616 · doi:10.1007/3-540-36469-2_9 |
| [25] | Heeren, B., Jeuring, J., van Leeuwen, A., Gerdes, A.: Specifying strategies for exercises. In: Autexier, et al. (eds.) [6], pp. 430–445 · Zbl 1166.68366 · doi:10.1007/978-3-540-85110-3_36 |
| [26] | Horozal, F.F., Brown, C.E.: Formal representation of mathematics in a dependently typed set theory. In: Kauers, et al. (eds.) [27], pp. 265–279 · Zbl 1202.68380 · doi:10.1007/978-3-540-73086-6_22 |
| [27] | Kauers, M., Kerber, M., Miner, R., Windsteiger, W. (eds.): MKM/CALCULEMUS 2007. LNCS, vol. 4573. Springer, Heidelberg (2007) · Zbl 1119.68011 |
| [28] | Kohlhase, A., Kohlhase, M.: An exploration in the space of mathematical knowledge. In: Kohlhase (ed.) [29], pp. 17–32 · Zbl 1151.68666 · doi:10.1007/11618027_2 |
| [29] | Kohlhase, M. (ed.): MKM 2005. LNCS, vol. 3863. Springer, Heidelberg (2006) · Zbl 1096.68004 |
| [30] | Libbrecht, P., Desmoulins, C., Mercat, C., Laborde, C., Dietrich, M., Hendriks, M.: Cross-curriculum search for Intergeo. In: Autexier, et al. (eds.) [6], pp. 520–535 · Zbl 1166.68367 · doi:10.1007/978-3-540-85110-3_42 |
| [31] | Mathematical Knowledge Management Symposium, http://www.macs.hw.ac.uk/ fairouz/mkm-symposium03/ |
| [32] | Melis, E., Büdenbender, J., Goguadze, G., Libbrecht, P., Ullrich, C.: Knowledge representation and management in activemath. Ann. Math. Artif. Intell. 38(1-3), 47–64 (2003) · Zbl 1025.68083 |
| [33] | A North American Workshop on Mathematical Knowledge Management (NA-MKM 2002) (2002), http://imps.mcmaster.ca/na-mkm-2002/ |
| [34] | Second North American Workshop on Mathematical Knowledge Management (NA-MKM 2004) (2004), http://imps.mcmaster.ca/na-mkm-2004/ |
| [35] | Workshop on Mathematical Knowledge Management: Sustainability, Scalability and Interoperability, http://projects.cs.dal.ca/ddrive/seminars/mkm.shtml |
| [36] | Nederpelt, R., Geuvers, J., de Vrijer, R.: Selected Papers on Automath. Studies in Logic and the Foundations of Mathematics 133 (1994) |
| [37] | Padovani, L.: On the roles of LaTeX and MathML in encoding and processing mathematical expressions. In: Asperti, et al. (eds.) [4], pp. 66–79 · Zbl 1022.68620 · doi:10.1007/3-540-36469-2_6 |
| [38] | Parnas, D.L.: On a ”buzzword”: hierarchical structure, pp. 429–440. Springer, Heidelberg (2002) |
| [39] | Turing, A.M.: Practical forms of type theory. Journal of Symbolic Logic 13, 80–94 (1948) · Zbl 0054.00603 · doi:10.2307/2267329 |
| [40] | Urban, J.: XML-izing Mizar: Making semantic processing and presentation of mml easy. In: Kohlhase (ed.) [29], pp. 346–360 · Zbl 1151.68681 |
| [41] | Verchinine, K., Lyaletski, A.V., Paskevich, A., Anisimov, A.: On correctness of mathematical texts from a logical and practical point of view. In: Autexier, et al. (eds.) [6], pp. 583–598 · Zbl 1166.68353 · doi:10.1007/978-3-540-85110-3_47 |
| [42] | Whitehead, A.N., Russell, B.: Principia Mathematica. Cambridge University Press, Cambridge (1910) |
| [43] | Wiedijk, F.: The QED manifesto revisited. Studies in Logic, Grammar and Rhetoric 10(23), 121–133 (2007) |
| [44] | Youssef, A.: Roles of math search in mathematics. In: Borwein, Farmer (eds.) [7], pp. 2–16 · Zbl 1188.68128 · doi:10.1007/11812289_2 |
| [45] | Youssef, A.: Methods of relevance ranking and hit-content generation in math search. In: Kauers, et al. (eds.) [27], pp. 393–406 · Zbl 1202.68161 · doi:10.1007/978-3-540-73086-6_31 |
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.
