System description: MathHub.info - Iancu, Mihnea; Jucovschi, Constantin; Kohlhase, Michael; Wiesing, Tom (2014 International Conference on Intelligent Computer Mathematics, CICM 2014, 2014)