Integrating Boolean and Mathematical Solving: Foundations, Basic Algorithms, and Requirements. - Gilles Audemard; Piergiorgio Bertoli; Alessandro Cimatti; Artur Kornilowicz; Roberto Sebastiani (AISC, 2002)

A SAT Based Approach for Solving Formulas over Boolean and Linear Mathematical Propositions. - Gilles Audemard; Piergiorgio Bertoli; Alessandro Cimatti; Artur Kornilowicz; Roberto Sebastiani (CADE, 2002)

Bounded Model Checking for Timed Systems. - Gilles Audemard; Alessandro Cimatti; Artur Kornilowicz; Roberto Sebastiani (FORTE, 2002)

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

Arithmetic Operations on Functions from Sets into Functional Sets. - Artur Kornilowicz (Formaliz. Math., 2009)

Collective Operations on Number-Membered Sets. - Artur Kornilowicz (Formaliz. Math., 2009)

The Real Vector Spaces of Finite Sequences are Finite Dimensional. - Yatsuka Nakamura; Artur Kornilowicz; Nagato Oya; Yasunari Shidama (Formaliz. Math., 2009)

The Correspondence Between n-dimensional Euclidean Space and the Product of n Real Lines. - Artur Kornilowicz (Formaliz. Math., 2010)

Miscellaneous Facts about Open Functions and Continuous Functions. - Artur Kornilowicz (Formaliz. Math., 2010)

On the Continuity of Some Functions. - Artur Kornilowicz (Formaliz. Math., 2010)

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

Mazur-Ulam Theorem. - Artur Kornilowicz (Formaliz. Math., 2011)

Cayley's Theorem. - Artur Kornilowicz (Formaliz. Math., 2011)

More on the Continuity of Real Functions. - Keiko Narita; Artur Kornilowicz; Yasunari Shidama (Formaliz. Math., 2011)

Tentative Experiments with Ellipsis in Mizar. - Artur Kornilowicz (AISC/MKM/Calculemus, 2012)

Valuation Theory. Part I. - Grzegorz Bancerek; Hidetsune Kobayashi; Artur Kornilowicz (Formaliz. Math., 2012)

Cayley-Dickson Construction. - Artur Kornilowicz (Formaliz. Math., 2012)

Products in Categories without Uniqueness of cod and dom. - Artur Kornilowicz (Formaliz. Math., 2012)

The Borsuk-Ulam Theorem. - Artur Kornilowicz; Marco Riccardi (Formaliz. Math., 2012)

Riemann Integral of Functions from R into n-dimensional Real Normed Space. - Keiichi Miyajima; Artur Kornilowicz; Yasunari Shidama (Formaliz. Math., 2012)

Contracting Mapping on Normed Linear Space. - Keiichi Miyajima; Artur Kornilowicz; Yasunari Shidama (Formaliz. Math., 2012)

The Differentiable Functions from R into Rn. - Keiko Narita; Artur Kornilowicz; Yasunari Shidama (Formaliz. Math., 2012)

Fundamental Group of n-sphere for n ≥ 2. - Marco Riccardi; Artur Kornilowicz (Formaliz. Math., 2012)

Coproducts in Categories without Uniqueness of cod and dom. - Maciej Golinski; Artur Kornilowicz (Formaliz. Math., 2013)

Commutativeness of Fundamental Groups of Topological Groups. - Artur Kornilowicz (Formaliz. Math., 2013)

On Rewriting Rules in Mizar. - Artur Kornilowicz (J. Autom. Reason., 2013)

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

Pseudo-Canonical Formulae are Classical. - Marco B. Caminati; Artur Kornilowicz (Formaliz. Math., 2014)

The First Isomorphism Theorem and Other Properties of Rings. - Artur Kornilowicz; Christoph Schwarzweller (Formaliz. Math., 2014)

Equality in computer proof-assistants. - Adam Grabowski; Artur Kornilowicz; Christoph Schwarzweller (FedCSIS, 2015)

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)

Flexary connectives in Mizar. - Artur Kornilowicz (Comput. Lang. Syst. Struct., 2015)

Characteristic of Rings. Prime Fields. - Christoph Schwarzweller; Artur Kornilowicz (Formaliz. Math., 2015)

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

Definitional Expansions in Mizar - In memoriam of Andrzej Trybulec, a pioneer of computerized formalization. - Artur Kornilowicz (J. Autom. Reason., 2015)

Registrations vs Redefinitions in Mizar. - Artur Kornilowicz (FM4M/MathUI/ThEdu/DP/WIP@CIKM, 2016)

On algebraic hierarchies in mathematical repository of Mizar. - Adam Grabowski; Artur Kornilowicz; Christoph Schwarzweller (FedCSIS, 2016)

Enhancement of Mizar Texts with Transitivity Property of Predicates. - Artur Kornilowicz (CICM, 2016)

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

Some Algebraic Properties of Polynomial Rings. - Christoph Schwarzweller; Artur Kornilowicz (Formaliz. Math., 2016)

Formalization of the Algebra of Nominative Data in Mizar. - Artur Kornilowicz; Andrii Kryvolap; Mykola S. Nikitchenko; Ievgen Ivanov (FedCSIS, 2017)

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

An Approach To Formalization of an Extension of Floyd-Hoare Logic. - Artur Kornilowicz; Andrii Kryvolap; Mykola S. Nikitchenko; Ievgen Ivanov (ICTERI, 2017)

Extended Floyd-Hoare Logic over Relational Nominative Data. - Mykola Nikitchenko; Ievgen Ivanov; Artur Kornilowicz; Andrii Kryvolap (ICTERI (Revised Selected Papers), 2017)

Formalization of the Nominative Algorithmic Algebra in Mizar. - Artur Kornilowicz; Andrii Kryvolap; Mykola S. Nikitchenko; Ievgen Ivanov (ISAT (2), 2017)

Introduction to Liouville Numbers. - Adam Grabowski; Artur Kornilowicz (Formaliz. Math., 2017)

Simple-Named Complex-Valued Nominative Data - Definition and Basic Operations. - Ievgen Ivanov; Mykola S. Nikitchenko; Andrii Kryvolap; Artur Kornilowicz (Formaliz. Math., 2017)

Differentiability of Polynomials over Reals. - Artur Kornilowicz (Formaliz. Math., 2017)

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

Vieta's Formula about the Sum of Roots of Polynomials. - Artur Kornilowicz; Karol Pak (Formaliz. Math., 2017)

Basel Problem - Preliminaries. - Artur Kornilowicz; Karol Pak (Formaliz. Math., 2017)

Basel Problem. - Karol Pak; Artur Kornilowicz (Formaliz. Math., 2017)

Implementation of the Composition-nominative Approach to Program Formalization in Mizar. - Ievgen Ivanov; Artur Kornilowicz; Mykola S. Nikitchenko (Comput. Sci. J. Moldova, 2018)

On Algebras of Algorithms and Specifications over Uninterpreted Data. - Ievgen Ivanov; Artur Kornilowicz; Mykola S. Nikitchenko (Formaliz. Math., 2018)

On an Algorithmic Algebra over Simple-Named Complex-Valued Nominative Data. - Ievgen Ivanov; Artur Kornilowicz; Mykola S. Nikitchenko (Formaliz. Math., 2018)

An Inference System of an Extension of Floyd-Hoare Logic for Partial Predicates. - Ievgen Ivanov; Artur Kornilowicz; Mykola S. Nikitchenko (Formaliz. Math., 2018)

Partial Correctness of GCD Algorithm. - Ievgen Ivanov; Artur Kornilowicz; Mykola S. Nikitchenko (Formaliz. Math., 2018)

Kleene Algebra of Partial Predicates. - Artur Kornilowicz; Ievgen Ivanov; Mykola S. Nikitchenko (Formaliz. Math., 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)

Sethood Property in Mizar. - Artur Kornilowicz (CICM Workshops, 2019)

Partial Correctness of a Factorial Algorithm. - Adrian Jaszczak; Artur Kornilowicz (Formaliz. Math., 2019)

Partial Correctness of a Fibonacci Algorithm. - Artur Kornilowicz (Formaliz. Math., 2020)

Enhancement of properties in Mizar. - Artur Kornilowicz (PeerJ Comput. Sci., 2020)

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

A New Export of the Mizar Mathematical Library. - Colin Rothgang; Artur Kornilowicz; Florian Rabe 001 (CICM, 2021)

Elementary Number Theory Problems. Part II. - Artur Kornilowicz; Dariusz Surowik (Formaliz. Math., 2021)

Elementary Number Theory Problems. Part III. - Artur Kornilowicz (Formaliz. Math., 2022)

Elementary Number Theory Problems. Part IV. - Artur Kornilowicz (Formaliz. Math., 2022)

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

Implementing More Explicit Definitional Expansions in Mizar (Short Paper). - Adam Grabowski; Artur Kornilowicz (ITP, 2023)

Elementary Number Theory Problems. Part VII. - Artur Kornilowicz (Formaliz. Math., 2023)

Elementary Number Theory Problems. Part VIII. - Artur Kornilowicz (Formaliz. Math., 2023)

Elementary Number Theory Problems. Part IX. - Artur Kornilowicz (Formaliz. Math., 2023)

Elementary Number Theory Problems. Part X - Diophantine Equations. - Artur Kornilowicz (Formaliz. Math., 2023)

Elementary Number Theory Problems. Part XIV - Diophantine Equations. - Artur Kornilowicz (Formaliz. Math., 2024)

Elementary Number Theory Problems. Part XIII. - Artur Kornilowicz; Rafal Ziobro (Formaliz. Math., 2024)

Elementary Number Theory Problems. Part XV - Diophantine Equations. - Karol Pak; Artur Kornilowicz (Formaliz. Math., 2024)