Roman Matuszewski CHOOSEN PAPERS: 1. "Certain algorithm of classification in metric spaces", Papers of Warsaw University in Bialystok, Vol.V, Nr. 20, pp.117-123, 1977, with Andrzej Trybulec. 2. "On automatic translation of texts from Mizar QC into Polish", Studies in Logic, Grammar and Rhetoric, Vol IV, Bialystok, 1984. 3. "Mizar MSE - a computer aided course for elementary logic of quantifiers", Proceedings of International Congress of Mathematicians, ICM 94, Zurich, 1994. 4. "Mathematical Proof-Checked Journal Automatically translated into English", Prceedings of Conference 'Language and Technology', European Union, Poznan, 1995. 5. "Reconstructions of Special Sequences", Formalized Mathematics, Vol.6, Nr.2, 1997, pp.255-263, with Yatsuka Nakamura. 6. "Subsequences of Standard Special Circular Sequences in E(2,T)", Formalized Mathematics, Vol.6, Nr.3, pp.351-358, 1997, with Yatsuka Nakamura. 7. "Projections in n-Dimensional Euclidean Space to Each Coordinates", Formalized Mathematics, Vol.6, Nr.4, pp.505-509, 1997, with Yatsuka Nakamura. 8. "Journal of Formalized Mathematics - a collection of mechanically checked articles", Proceedings of International Congress of Mathematicians, ICM 98, Berlin, 1998. 9. "Mizar texts automatically translated into English", Proceedings of the Conference 'Systems for integrated computation and deduction', position paper, CADE 99, pp.11-13, Trento, 1999. 10. "Automatic Translation of Machine-Checked Mathematical Texts into English", Proceedings of the 11-th International Congress of Logic, Methodology and Philosophy of Science, pp.129-130, Cracow, 1999. 11. "Lower Tolerance. Preliminaries to Wroclaw Taxonomy", Formalized Mathematics, Vol.9, Nr.3, pp.597-603, 2001, with Mariusz Giero. 12. "Mizar: the first 30 years", Mechanized Mathematics and Its Applications, Vol.4, Nr.1, pp.3-24, 2005, with Piotr Rudnicki. 13. "Computer Checked Mathematical Texts Presented in Natural Language", International Congress of Mathematicians, ICM 2006, Madrid, pp.131-132. 14. "On computer-assisted approach to formalized reasoning", Studies in Logic, Grammar and Rhetoric, Vol. 9(22), pp.61-71, Bialystok, 2006. 15. "Some Special Sequences of Points on a Plane", Special Issue: Jordan Curve Theorem, Mechanized Mathematics and Its Applications, Vol.6, Nr.1, pp.55-62, 2007, Nagano, with Mariusz Giero. 16. "Taxonomical classification of hematopoietic CD34+ cell subsets from diverse origin", Studies in Logic, Grammar and Rhetoric, Vol. 21(34), pp.25-33, Białystok, 2010, with Hanna Sovalat. 17. "On some algorithm of Wroclaw taxonomy", XIV Quantitative methods in economics, p.54, 2013, SGGW Warsaw. 18. "Mizar: State-of-the-art and Beyond", Inteligent Computer Mathematics, Springer LNCS, Vol.9150, pp.261-279, 2015, doi: 10.1007/978-3-319-20615-8_17, G.Bancerek, Cz.Bylinski, A.Grabowski, A.Kornilowicz, Roman Matuszewski, A.Naumowicz, K.Pak, J.Urban. 19. "The Role of the Mizar Mathematical Library for Interactive Proof Development in Mizar", Journal of Automated Reasoning, pp.9-32, Vol.61, Issue 1-4, 2018, https://doi.org/10.1007/s10817-017-9440-6, Grzegorz Bancerek, Czesław Byliński, Adam Grabowski, Artur Korniłowicz, Roman Matuszewski, Adam Naumowicz, Karol Pak.