Grzegorz Bancerek, Selected publications 2001-2003

• Grzegorz Bancerek. On the structure of Mizar types. Electronic Notes in Theoretical Computer Science, Vol. 85 (7), Elsevier, 2003.
• Grzegorz Bancerek, Piotr Rudnicki. Information retrieval in MML. In A. Asperti, B. Buchberger, J.H. Davenport, editors, Mathematical Knowledge Management, LNCS 2594: 119-132, Springer, 2003.
• Grzegorz Bancerek. On semilattice structure of Mizar types. Formalized Mathematics, Vol. 11(4): 355-369, University of Bialystok, 2003.
• Mitsuishi Takashi, Grzegorz Bancerek. Lattice of fuzzy sets. Formalized Mathematics, Vol. 11(4): 393-398, University of Bialystok, 2003.
• Grzegorz Bancerek, Piotr Rudnicki. A Compendium of Continuous Lattices in Mizar. (Formalizing recent mathematics), Journal of Automated Reasoning, Vol. 29 (3-4): 189-224, Kluwer, 2002.
• Grzegorz Bancerek, Adam Naumowicz. Preliminaries to automatec generation of Mizar documentation for circuits. Formalized Mathematics, Vol. 10(3): 177-133, University of Bialystok, 2002.
• Grzegorz Bancerek, Noboru Endou, Yasunari Shidama. Lim-inf convergence and its compactness. Mechanized Mathematics and Its Applications, Vol. 2(1): 29-35, MIZAR Japan, 2002.
• Grzegorz Bancerek, Noboru Endou, Yuji Sakai. Lattice of fuzzy sets. Formalized Mathematics, Vol. 9(4): 733-738, University of Bialystok, 2001.
• Grzegorz Bancerek. Duality based on the Galois connection. Part I. Formalized Mathematics, Vol. 9(4): 767-778, University of Bialystok, 2001.
• Grzegorz Bancerek. Development of the Theory of Continuous Lattices in Mizar. In M. Kerber and M. Kohlhase, editors, Symbolic Computation and Automated Reasoning, pages 65-80, The CALCULEMUS-2000 Symposium, A.K.Peters, 2001.