Abstract
We believe that mathematics is the language of science and has paved the way of many innovations. However, mathematical research is often said to be “non-practical” and “hard to digest”. Furthermore, experts have access to highly specialized results, but are often less aware of applications outside their own community.
Our work promotes the exchange of highly-specialized knowledge between individuals with different mathematical background. We draw on modern representation formats to mark up structure and meaning of mathematical texts to reduce barriers of communication. Moreover, we integrate modern web technologies to build an adaptive, active, and collaborative environment, in which users engage in a community of practice.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
CoFI (The Common Framework Initiative). In: Mosses, P.D. (ed.): CASL Reference Manual. LNCS. IFIP Series, vol. 2960. Springer, Heidelberg (2004)
Green, T., Peter, M.: Usability analysis of visual programming environments: A cognitive dimension framework. Journal of Visual Languages and Computing 7, 131–174 (1996)
Hardy, G.H.: A Mathematician’s Apology. Cambridge University Press, Cambridge (1992)
Heintz, B.: Die Innenwelt der Mathematik. Zur Kultur und Praxis einer beweisenden Disziplin. Springer, Wien (2000)
JOBAD framework – JavaScript API for OMDoc-based active documents (2008), https://jomdoc.omdoc.org/wiki/JOBAD
JOMDoc Project (2008), http://omdoc.org/jomdoc
Kerber, M., Melis, E., Siekmann, J.: Analogical reasoning with typical examples. SEKI-Report SR-92-13, Unversität des Saarlandes (1992)
Kitcher, P.: Mathematical naturalism. In: Kitcher, P., Aspray, W. (eds.) History and Philosophy of Modern Mathematics, pp. 293–325. University of Minnesota Press (1988)
Kohlhase, M., Müller, C., Rabe, F.: Notations for Living Mathematical Documents. In: Autexier, S., Campbell, J., Rubio, J., Sorge, V., Suzuki, M., Wiedijk, F. (eds.) AISC 2008, Calculemus 2008, and MKM 2008. LNCS (LNAI), vol. 5144, pp. 504–519. Springer, Heidelberg (2008)
Kohlhase, M. (ed.): OMDoc – An Open Markup Format for Mathematical Documents [version 1.2]. LNCS (LNAI), vol. 4180, pp. 25–32. Springer, Heidelberg (2006)
Kohlhase, M.: sTEX: Using TEX LATEX as a semantic markup format. Mathematics in Computer Science. Special Issue on Management of Mathematical Knowledge (in press, 2008)
Kohlhase, M., Müller, C., Müller, N.: Documents with flexible notation contexts as interfaces to mathematical knowledge. In: Libbrecht, P. (ed.) Mathematical User Interfaces Workshop (2007)
Miller, B.: LaTeXML: A LaTeX to xml converter. Web Manual seen (September 2007), http://dlmf.nist.gov/LaTeXML/
Müller, C.: A Survey on Mathematical Notations. KWARC report, Jacobs University Bremen (2008)
Müller, C., Kohlhase, M.: Panta rhei. In: Hinneburg, A. (ed.) LWA Conference Proceedings, pp. 318–323 (2007)
Müller, C., Kohlhase, M.: Context Aware Adaptation: A Case Study on Mathematical Notations. Research reports, Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland (November 2008)
Openmath Home. seen (March 2007), http://www.openmath.org/
The panta rhei Project (2008), http://trac.kwarc.info/panta-rhei
Polya, G.: How to Solve it. Princeton University Press, Princeton (1973)
Rabe, F.: Representing Logics and Logic Translations. Ph.D thesis, Jacobs University Bremen (2008)
Ruelle, D.: The Mathematician’s Brain. Princeton University Press, Princeton (2007)
Smirnova, E., Watt, S.M.: Notation Selection in Mathematical Computing Environments. In: Proceedings Transgressive Computing 2006: A conference in honor of Jean Della Dora (TC 2006), Granada, Spain, pp. 339–355 (2006)
W3C. Mathematical Markup Language (MathML) Version 2.0 (Second Edition) (2003) Seen (July 2007), http://www.w3.org/TR/MathML2/
Wenger, E.: Communities of Practice: Learning, Meaning, and Identity. Cambridge University Press, Cambridge (2005)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Müller, C. (2009). Communities of Practice and Semantic Web Stimulating Collaboration by Document Markup. In: Yang, J., Ginige, A., Mayr, H.C., Kutsche, RD. (eds) Information Systems: Modeling, Development, and Integration. UNISCON 2009. Lecture Notes in Business Information Processing, vol 20. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-01112-2_44
Download citation
DOI: https://doi.org/10.1007/978-3-642-01112-2_44
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-01111-5
Online ISBN: 978-3-642-01112-2
eBook Packages: Computer ScienceComputer Science (R0)