Abstract
In the traditional knowledge dissemination process in mathematics and sciences, authors write semi-selfcontained articles which are then published in journals, conference proceedings, preprint archives, and/or given as talks. Other scientists read these, extract the new knowledge, integrate it into their personal mental model of the field, and use this as the basis for creating new knowledge which is disseminated in the same form.
Somewhat surprisingly, this process has not been modeled from a formal or content-based perspective even though it is at the heart of human MKM and DML.
In this paper we tackle this problem starting from the practice of beginning papers with a “recap”, which briefly introduces context, terminology, and notations and thus ties the paper into the knowledge commons. We propose a flexiformal model for knowledge dissemination and its aggregation into a communal, shared knowledge commons based on theory graphs and the newly introduced realms.
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
Notes
- 1.
1. for referencing, 2. for determining interest.
- 2.
3. and 10. for broader context, 5. and 9. for problem context, 4. for document navigation, 8. for assessment of value, and 11. for further reading.
References
Bartz, J.: Induced and Complete Multinets. In: ArXiv e-prints (February 2015). arXiv:1502.02059 [math.AG]
Carette, J., Farmer, W.M., Kohlhase, M.: Realms: a structure for consolidating knowledge about mathematical theories. In: Watt, S.M., Davenport, J.H., Sexton, A.P., Sojka, P., Urban, J. (eds.) CICM 2014. LNCS, vol. 8543, pp. 252–266. Springer, Heidelberg (2014)
Calude, C., Staiger, L.: A note on accelerated turing machines. CDMTCS Research Report 350. Centre for Discrete Mathematics and Theoretical Computer Science, Auckland University (2009). http://www.cs.auckland.ac.nz/CDMTCS/researchreports/350cris.pdf
Dumitru et al. M.A.: System description: KAT an annotation tool for STEM documents (2014). http://kwarc.info/kohlhase/submit/cicm14-kat.pdf
Hyttinen, T., Kangas, K.: On model theory of covers of algebraically closed fields (2015) (visited on 16 February 2015). http://arxiv.org/pdf/1502.01042.pdf
J. Formalized Math. JFM (visited on 27 September 2012). http://www.mizar.org/
Kohlhase, Michael: A development graph for elementary algebra. In: Kohlhase, Michael (ed.) OMDoc – An Open Markup Format for Mathematical Documents [version 1.2]. LNCS (LNAI), vol. 4180, pp. 59–63. Springer, Heidelberg (2006)
Kohlhase, M.: The flexiformalist manifesto. In: Voronkov, A. et al. (eds.) 14th International Workshop on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2012), Timisoara, Romania, pp. 30–36. IEEE Press, California (2013). http://kwarc.info/kohlhase/papers/synasc13.pdf
Rabe, F., Kohlhase, M., Sacerdoti Coen, C.: A foundational view on integration problems. In: Davenport, J.H., Farmer, W.M., Urban, J., Rabe, F. (eds.) MKM 2011 and Calculemus 2011. LNCS, vol. 6824, pp. 107–122. Springer, Heidelberg (2011)
Mizar mathematical library (visited on 27 September 2012). http://www.mizar.org/library
Rabe, F.: The MMT API: a generic MKM system. In: Carette, J., Aspinall, D., Lange, C., Sojka, P., Windsteiger, W. (eds.) CICM 2013. LNCS, vol. 7961, pp. 339–343. Springer, Heidelberg (2013)
Rabe, F., Kohlhase, M.: A scalable module system. In: Information and Computation 0.230, pp. 1–54 (2013). http://kwarc.info/frabe/Research/mmt.pdf
Riccardi, M., Kornilowicz, A.: Fundamental group of \(n\)-sphere for \(n\ge 2\). Formalized Math. 20(2), 97–104 (2013). doi:10.2478/v10037-012-0013-1
Rudin, W.: Functional Analysis. McGraw Hill (1973)
Wenzel, M.: Isabelle/Isar - a generic framework for human- readable proof documents. In: Matuszewski, R., Zalewska, A. (eds.) From Insight to Proof: Festschrift in Honour of Andrzej Trybulec, vol. 10(23). Studies in Logic, Grammar and Rhetoric. University of Bia lystok, pp. 277–298 (2007). http://mizar.org/trybulec65/
Acknowledgements.
This work has been supported by the Leibniz Association under grant SAW-2012-FIZ_KA-2 and the German Research Foundation (DFG) under grant KO 2428/13-1.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this paper
Cite this paper
Iancu, M., Kohlhase, M. (2015). A Flexiformal Model of Knowledge Dissemination and Aggregation in Mathematics. In: Kerber, M., Carette, J., Kaliszyk, C., Rabe, F., Sorge, V. (eds) Intelligent Computer Mathematics. CICM 2015. Lecture Notes in Computer Science(), vol 9150. Springer, Cham. https://doi.org/10.1007/978-3-319-20615-8_9
Download citation
DOI: https://doi.org/10.1007/978-3-319-20615-8_9
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-20614-1
Online ISBN: 978-3-319-20615-8
eBook Packages: Computer ScienceComputer Science (R0)