A flexiformal model of knowledge dissemination and aggregation in mathematics - Iancu, Mihnea; Kohlhase, Michael (International Conference on Intelligent Computer Mathematics, CICM 2015, 2015)