Adam Naumowicz

Managing Editor, CEJCS
Institute of Informatics
University of Białystok
E-mail: anaumowicz@versita.com

Responsibilities at Versita:

Fills each issue on time and with a sufficient number of good articles

Searches for good submissions

Builds team of Editors in all subfields of computer science

Develops and maintains contacts with many computer scientists, especially with potential authors

Promotes published articles to readers and citers

Recent publications:

Naumowicz A.:
Interfacing External CA Systems for Gröbner Bases Computation in Mizar Proof Checking,
International Journal of Computer Mathematics, 87(1), pp. 1-11, 2010

Grabowski A. and A. Naumowicz (Eds.):
Computer Reconstruction of the Body of Mathematics,
Studies in Logic, Grammar and Rhetoric, 18(31), 2009

Naumowicz A.:
Enhanced Processing of Adjectives in Mizar,
Studies in Logic, Grammar and Rhetoric, 18(31), pp. 89-101, 2009

Naumowicz A. and A. Korniłowicz:
A Brief Overview of Mizar, In S. Berghofer et al. (Eds.), TPHOLs 2009, Lecture Notes in Computer Science 5674, Springer-Verlag Berlin Heidelberg, pp. 67-72, 2009

Naumowicz A.:
Teaching How to Write a Proof, In Proceedings of ETAPS 2008 satellite workshop Formal Methods in Computer Science Education (FORMED2008), pp. 91-100, 2008

Naumowicz A.:
Formalization of the Tietze Extension Theorem in Mizar.
Mechanized Mathematics and Its Applications, Vol. 6, No. 1, pp. 41-45, 2007

Naumowicz A.:
Evaluating Prospective Built-in Elements of Computer Algebra in Mizar,
In R. Matuszewski and A. Zalewska (Eds.), From Insight to Proof: Festschrift in Honour of Andrzej Trybulec, Studies in Logic, Grammar and Rhetoric, 10(23), pp. 191-200, 2007

Naumowicz A.:
How to Teach to Write a Proof,
In Proceedings of RDP 2007 affiliated TYPES Workshop on Proof Assistants and Types in Education, pp. 69-76, 2007

Naumowicz A.:
An Example of Formalizing Recent Mathematical Results in Mizar.
In C. Benzmueller (Ed.), Towards Computer Aided Mathematics, Journal of Applied Logic, 4(4), pp. 396-413, Elsevier, 2006

Naumowicz A.:
On the Representation of Natural Numbers in Positional Numeral Systems,
Formalized Mathematics, 14(4), pp. 221-223, 2006