Proceedings of the 4th international conference on Mathematical Knowledge Management