Roman Matuszewski

Choosen papers:

1. "An algorithm for clustering in metric spaces", Papers of Warsaw 
    University in Bialystok, 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. "Subsequences of Standard Special Circular Sequences in E(2,T)", 
    Formalized Mathematics, Vol.6, Nr.3, 1997, with Yatsuka Nakamura,

6. "Projections in n-Dimensional Euclidean Space to Each Coordinates", 
    Formalized Mathematics, Vol.6, Nr.4, 1997, with Yatsuka Nakamura,

7. "Reconstructions of Special Sequences", Formalized Mathematics, Vol.6, 
    Nr.2, 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, 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, Cracow, 1999,

11."Lower Tolerance. Preliminaries to Wroclaw Taxonomy", Formalized Mathematics,
    Vol.9, Nr.3, 2001, with Mariusz Giero.

12."Mizar: the first 30 years", Mechanized Mathematics and Its Applications,
    Vol.4, Nr.1, 2005, with Piotr Rudnicki.

13."Computer Checked Mathematical Texts Presented in Natural Language", 
    International Congress of Mathematicians, ICM 2006,  Madrid, 

14. "Computer assisted approach to automated reasoning", Studies in Logic, 
     Grammar and Rhetoric (kat A KBN), Vol. 9(22), 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, 2007, pp.55-62., 
     with Mariusz Giero.