1. Asperti, A., Bancerek, G., Trybulec, A. (eds.): Mathematical Knowledge Management, Third International Conference, MKM 2004, Bialowieza, Poland, September 19–21, 2004, Proceedings, Vol. 3119 of Lecture Notes in Computer Science. Springer, Berlin Heidelberg New York (2004)
2. Avron, A.: Formalizing set theory as it is actually used. In: Mathematical Knowledge Management, pp. 32–43 (2004)
3. Bancerek, G., Rudnicki, P.: Information retrieval in MML. In: MKM, Vol. 2594 of Lecture Notes in Computer Science, pp. 119–132 (2003)
4. Bancerek, G., Urban, J.: Integrated semantic browsing of the Mizar mathematical library for authoring Mizar articles. In: [1], pp. 44–57 (2004)
5. Bylinski, C.: The complex numbers. Formaliz. Math. 2(2), (1990). http://mizar.org/JFM/Vol2/complex1.html