Improving Mizar Texts with Properties and Requirements. - Adam Naumowicz; Czeslaw Bylinski (MKM, 2004)

An example of formalizing recent mathematical results in Mizar. - Adam Naumowicz (J. Appl. Log., 2006)

A Brief Overview of Mizar. - Adam Naumowicz; Artur Kornilowicz (TPHOLs, 2009)

Interfacing external CA systems for Gröbner bases computation in Mizar proof checking. - Adam Naumowicz (Int. J. Comput. Math., 2010)

Mizar in a Nutshell. - Adam Grabowski; Artur Kornilowicz; Adam Naumowicz (J. Formaliz. Reason., 2010)

Licensing the Mizar Mathematical Library. - Jesse Alama; Michael Kohlhase; Lionel Mamane; Adam Naumowicz; Piotr Rudnicki; Josef Urban (Calculemus/MKM, 2011)

Partial Differentiation of Vector-Valued Functions on n-Dimensional Real Normed Linear Spaces. - Takao Inoué; Adam Naumowicz; Noboru Endou; Yasunari Shidama (Formaliz. Math., 2011)

Partial Differentiation, Differentiation and Continuity on n-Dimensional Real Normed Linear Spaces. - Takao Inoué; Adam Naumowicz; Noboru Endou; Yasunari Shidama (Formaliz. Math., 2011)

More on Divisibility Criteria for Selected Primes. - Adam Naumowicz; Radoslaw Piliszek (Formaliz. Math., 2013)

Formal Mathematics for Mathematicians - Foreward to the Special Issue. - Andrzej Trybulec; Artur Kornilowicz; Adam Naumowicz; Krystyna Trybulec Kuperberg (J. Autom. Reason., 2013)

SAT-Enhanced Mizar Proof Checking. - Adam Naumowicz (CICM, 2014)

Selected papers from the International Scientific Conference INFORMATICS'2013 - part I. - Valerie Novitzká; William Steingartner; Adam Naumowicz (Central Eur. J. Comput. Sci., 2014)

Selected papers from the International Scientific Conference INFORMATICS'2013 - part II. - Valerie Novitzká; William Steingartner; Adam Naumowicz (Central Eur. J. Comput. Sci., 2014)

A Note on the Seven Bridges of Königsberg Problem. - Adam Naumowicz (Formaliz. Math., 2014)

Mizar: State-of-the-art and Beyond. - Grzegorz Bancerek; Czeslaw Bylinski; Adam Grabowski; Artur Kornilowicz; Roman Matuszewski; Adam Naumowicz; Karol Pak; Josef Urban (CICM, 2015)

Tools for MML Environment Analysis. - Adam Naumowicz (CICM, 2015)

Four Decades of Mizar - Foreword. - Adam Grabowski; Artur Kornilowicz; Adam Naumowicz (J. Autom. Reason., 2015)

Automating Boolean Set Operations in Mizar Proof Checking with the Aid of an External SAT Solver. - Adam Naumowicz (J. Autom. Reason., 2015)

Linking to Compound Conditions in Mizar. - Adam Naumowicz (FM4M/MathUI/ThEdu/DP/WIP@CIKM, 2016)

Accessing the Mizar Library with a Weakly Strict Mizar Parser. - Adam Naumowicz; Radoslaw Piliszek (CICM, 2016)

Niven's Theorem. - Artur Kornilowicz; Adam Naumowicz (Formaliz. Math., 2016)

Introducing Euclidean Relations to Mizar. - Adam Naumowicz; Artur Kornilowicz (FedCSIS, 2017)

Towards Standardized Mizar Environments. - Adam Naumowicz (ISAT (2), 2017)

All Liouville Numbers are Transcendental. - Artur Kornilowicz; Adam Naumowicz; Adam Grabowski (Formaliz. Math., 2017)

System Description: XSL-Based Translator of Mizar to LaTeX. - Grzegorz Bancerek; Adam Naumowicz; Josef Urban (CICM, 2018)

The Role of the Mizar Mathematical Library for Interactive Proof Development in Mizar. - Grzegorz Bancerek; Czeslaw Bylinski; Adam Grabowski; Artur Kornilowicz; Roman Matuszewski; Adam Naumowicz; Karol Pak (J. Autom. Reason., 2018)

Testing Mizar User Interactivity in a University-level Introductory Course on Foundations of Mathematics. - Adam Naumowicz (CICM Workshops, 2019)

Dataset Description: Formalization of Elementary Number Theory in Mizar. - Adam Naumowicz (CICM, 2020)

An Experiment on Mizar Adjectives with Extra Visible Arguments. - Adam Naumowicz (SYNASC, 2020)

Elementary Number Theory Problems. Part I. - Adam Naumowicz (Formaliz. Math., 2020)

Syntactic-Semantic Form of Mizar Articles. - Czeslaw Bylinski; Artur Kornilowicz; Adam Naumowicz (ITP, 2021)

FMM Preface. - Jasmin Blanchette; Adam Naumowicz (CICM Workshops, 2021)

Elementary Number Theory Problems. Part V. - Artur Kornilowicz; Adam Naumowicz (Formaliz. Math., 2022)

Extending Numeric Automation for Number Theory Formalizations in Mizar. - Adam Naumowicz (CICM, 2023)

Elementary Number Theory Problems. Part XI. - Adam Naumowicz (Formaliz. Math., 2023)