Communities of Practice in MKM: An Extensional Model

  • Andrea Kohlhase
  • Michael Kohlhase
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4108)


We explore the social context of mathematical knowledge: Even though, the community of mathematicians may look homogeneous from the outside, it is actually structured into various sub-communities that differ in preferred notations, the choice of basic assumptions, or e.g. in the choice of motivating examples. We contend that we cannot manage mathematical knowledge for human recipients if we do not take these factors into account. As a basis for a future extension of MKM systems, we analyze the social context of information in terms of Communities of Practice (CoP; a concept from learning theory) and present a concrete extensional model for CoPs in mathematics.


Mathematical Knowledge Extensional Model Mathematical Practice Knowledge Element Social Bookmark 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [Bar02]
    Barrow, J.D.: Ein Himmel voller Zahlen. Auf den Spuren mathematischer Wahrheiten. In: Rowohlt (2002) (Original publication 1992 Pi in the Sky)Google Scholar
  2. [BD00]
    Brown, J.S., Duguid, P.: The Social Life of Information. Harvard Business School Press (2000)Google Scholar
  3. [Bro05]
    Brown, J.S.: Learning in the Digital Age. online (2005) (seen on 2006-02-07), at:
  4. [cit] scientific literature digital library (viewed March 2006), web page at:
  5. [CNX05]
    Connexions. Project home page at (seen January 2005),
  6. [CNX06]
    Connexions: Sharing knowledge and building communities (February 2006), White paper at:
  7. [Dou03]
    Dourish, P.: Where the Action Is: The Foundations of Embodied Interaction. MIT Press, Cambridge (2003)Google Scholar
  8. [DP98]
    Davenport, T.H., Prusak, L.: Working Knowledge, 2000 edn. Harvard Business School Press (1998)Google Scholar
  9. [Far04]
    Farmer, W.: Mkm: A new interdisciplinary field of research. Bulletin of the ACM Special Interest Group on Symbolic and Automated Mathematics (SIGSAM) 38, 47–52 (2004)Google Scholar
  10. [Goo05]
    scholar, G.: (seen January 2005), web page at:,
  11. [Hei93]
    Heintz, B.: Die Herrschaft der Regel: Zur Grundlagengeschichte des Computers. Campus Verlag (1993)Google Scholar
  12. [Hei00]
    Heintz, B.: Die Innenwelt der Mathematik. Zur Kultur und Praxis einer beweisenden Disziplin. Springer, Wien (2000)MATHGoogle Scholar
  13. [KK04]
    Kohlhase, A., Kohlhase, M.: CPoint: Dissolving the author’s dilemma. In: Asperti, A., Bancerek, G., Trybulec, A. (eds.) MKM 2004. LNCS, vol. 3119, pp. 175–189. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  14. [KK05]
    Kohlhase, A., Kohlhase, M.: An exploration in the space of mathematical knowledge. In: Kohlhase [koh05], pp. 17–32Google Scholar
  15. [Koh05]
    Kohlhase, M. (ed.) MKM 2005. LNCS (LNAI), vol. 3863, Springer, Heidelberg (2006)Google Scholar
  16. [Koh06]
    Kohlhase, M.: OMDoc An open markup format for mathematical documents (Version 1.2). LNCS (LNAI). Springer, Heidelberg (to appear, 2006), CrossRefGoogle Scholar
  17. [MAF+01]
    Melis, E., Buedenbender, J., Andres, E., Frischauf, A., Goguadze, G., Libbrecht, P., Pollet, M., Ullrich, C.: The activemath learning environment. Artificial Intelligence and Education 12(4) (winter 2001)Google Scholar
  18. [MLUM05]
    Manzoor, S., Libbrecht, P., Ullrich, C., Ma, E.M.: Authoring presentation for openmath. In: Kohlhase [koh05], pp. 33–48 Google Scholar
  19. [Nay02]
    Naylor, W.: Mappings between presentation markup and semantic markup for variable-sized objects. In: Second International Conference on MathML and Technologies for Math on the Web, Chicago, USA (2002)Google Scholar
  20. [OC03]
    Osterlund, C., Carlile, P.: How Practice Matters: A Relational View of Knowledge Sharing. In: Huysmann, M., Wenger, E., Wulf, V. (eds.) Communities and Technologies, Kluwer Academic Publishers, Dordrecht (2003)Google Scholar
  21. [PRR97]
    Probst, G., Raub, S., Romhardt, K.: Wissen managen (2003) edn., vol. 4. Gabler Verlag (1997)Google Scholar
  22. [Sch05]
    Schloen, T.: Expertennetzwerke als Innovationsschmiede - das Konzept der Communities of Innovation. In: Ernst, S., Warwas, J., Kirsch-Auwärter, E. (eds.) wissenstransform, pp. 40–53. LIT Verlag (2005)Google Scholar
  23. [Wei05]
    Weinberger, D.: Tagging and Why it Matters. 2006-05-22 (May 2005), online at:
  24. [Wen99]
    Wenger, E.: Communities of Practice: Learning, Meaning, and Identiy. Cambridge University Press, Cambridge (1999)Google Scholar
  25. [Zad65]
    Zadeh, L.A.: Fuzzy sets. Information and Control 8, 338–353 (1965)MATHCrossRefMathSciNetGoogle Scholar
  26. [Zin04]
    Zinn, C.: UnderstandingInformalMathematicalDiscourse, Arbeitsberichte des Instituts für Informatik. Universitä Erlangen-Nürnberg, Institut für Informatik, vol. 37 (September 2004)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Andrea Kohlhase
    • 1
  • Michael Kohlhase
    • 2
  1. 1.Dept. of Computer Science and MathematicsUniversity Bremen 
  2. 2.Computer ScienceInternational University Bremen 

Personalised recommendations