Filed in: 2015-07: International Conference on Mathematical Knowledge Management (MKM)**