Artur Kornilowicz

79 papers A 1B 2C 8Misc 2Journal 59Unranked 6
YearRankTypeTitle / Venue / Authors
2025 J jnl
Elementary Number Theory Problems. Part XVII.
Formaliz. Math.
Artur Kornilowicz, Adam Naumowicz
2024 J jnl
Elementary Number Theory Problems. Part XIII.
Formaliz. Math.
Artur Kornilowicz, Rafal Ziobro
2024 J jnl
Elementary Number Theory Problems. Part XIV - Diophantine Equations.
Formaliz. Math.
Artur Kornilowicz
2024 J jnl
Elementary Number Theory Problems. Part XV - Diophantine Equations.
Formaliz. Math.
Karol Pak, Artur Kornilowicz
2023 J jnl
Elementary Number Theory Problems. Part IX.
Formaliz. Math.
Artur Kornilowicz
2023 J jnl
Elementary Number Theory Problems. Part VII.
Formaliz. Math.
Artur Kornilowicz
2023 J jnl
Elementary Number Theory Problems. Part VIII.
Formaliz. Math.
Artur Kornilowicz
2023 J jnl
Elementary Number Theory Problems. Part X - Diophantine Equations.
Formaliz. Math.
Artur Kornilowicz
2023 B conf
Implementing More Explicit Definitional Expansions in Mizar (Short Paper).
ITP
Adam Grabowski, Artur Kornilowicz
2022 J jnl
Elementary Number Theory Problems. Part III.
Formaliz. Math.
Artur Kornilowicz
2022 J jnl
Elementary Number Theory Problems. Part IV.
Formaliz. Math.
Artur Kornilowicz
2022 J jnl
Elementary Number Theory Problems. Part V.
Formaliz. Math.
Artur Kornilowicz, Adam Naumowicz
2021 C conf
A New Export of the Mizar Mathematical Library.
CICM
Colin Rothgang, Artur Kornilowicz, Florian Rabe
2021 J jnl
Elementary Number Theory Problems. Part II.
Formaliz. Math.
Artur Kornilowicz, Dariusz Surowik
2021 B conf
Syntactic-Semantic Form of Mizar Articles.
ITP
Czeslaw Bylinski, Artur Kornilowicz, Adam Naumowicz
2020 J jnl
Enhancement of properties in Mizar.
PeerJ Comput. Sci.
Artur Kornilowicz
2020 J jnl
Partial Correctness of a Fibonacci Algorithm.
Formaliz. Math.
Artur Kornilowicz
2019 J jnl
Partial Correctness of a Factorial Algorithm.
Formaliz. Math.
Adrian Jaszczak, Artur Kornilowicz
2019 — ed.
Proceedings of the 15th International Conference on ICT in Education, Research and Industrial Applications. Integration, Harmonization and Knowledge Transfer. Volume II: Workshops, Kherson, Ukraine, June 12-15, 2019.
ICTERI Workshops
Vadim Ermolayev, Frédéric Mallet, Vitaliy Yakovyna, Vyacheslav S. Kharchenko, Vitaliy Kobets, Artur Kornilowicz, Hennadiy Kravtsov, Mykola S. Nikitchenko, Serhiy Semerikov, Aleksander Spivakovsky
2019 — conf
Sethood Property in Mizar.
CICM Workshops
Artur Kornilowicz
2018 J jnl
An Inference System of an Extension of Floyd-Hoare Logic for Partial Predicates.
Formaliz. Math.
Ievgen Ivanov, Artur Kornilowicz, Mykola S. Nikitchenko
2018 J jnl
Implementation of the Composition-nominative Approach to Program Formalization in Mizar.
Comput. Sci. J. Moldova
Ievgen Ivanov, Artur Kornilowicz, Mykola S. Nikitchenko
2018 J jnl
Kleene Algebra of Partial Predicates.
Formaliz. Math.
Artur Kornilowicz, Ievgen Ivanov, Mykola S. Nikitchenko
2018 J jnl
On Algebras of Algorithms and Specifications over Uninterpreted Data.
Formaliz. Math.
Ievgen Ivanov, Artur Kornilowicz, Mykola S. Nikitchenko
2018 J jnl
On an Algorithmic Algebra over Simple-Named Complex-Valued Nominative Data.
Formaliz. Math.
Ievgen Ivanov, Artur Kornilowicz, Mykola S. Nikitchenko
2018 J jnl
Partial Correctness of GCD Algorithm.
Formaliz. Math.
Ievgen Ivanov, Artur Kornilowicz, Mykola S. Nikitchenko
2018 J jnl
The Role of the Mizar Mathematical Library for Interactive Proof Development in Mizar.
J. Autom. Reason.
Grzegorz Bancerek, Czeslaw Bylinski, Adam Grabowski, Artur Kornilowicz, Roman Matuszewski, Adam Naumowicz, Karol Pak
2017 J jnl
All Liouville Numbers are Transcendental.
Formaliz. Math.
Artur Kornilowicz, Adam Naumowicz, Adam Grabowski
2017 Misc conf
An Approach To Formalization of an Extension of Floyd-Hoare Logic.
ICTERI
Artur Kornilowicz, Andrii Kryvolap, Mykola S. Nikitchenko, Ievgen Ivanov
2017 J jnl
Basel Problem - Preliminaries.
Formaliz. Math.
Artur Kornilowicz, Karol Pak
2017 J jnl
Basel Problem.
Formaliz. Math.
Karol Pak, Artur Kornilowicz
2017 J jnl
Differentiability of Polynomials over Reals.
Formaliz. Math.
Artur Kornilowicz
2017 — conf
Extended Floyd-Hoare Logic over Relational Nominative Data.
ICTERI (Revised Selected Papers)
Mykola Nikitchenko, Ievgen Ivanov, Artur Kornilowicz, Andrii Kryvolap
2017 C conf
Formalization of the Algebra of Nominative Data in Mizar.
FedCSIS
Artur Kornilowicz, Andrii Kryvolap, Mykola S. Nikitchenko, Ievgen Ivanov
2017 — conf
Formalization of the Nominative Algorithmic Algebra in Mizar.
ISAT (2)
Artur Kornilowicz, Andrii Kryvolap, Mykola S. Nikitchenko, Ievgen Ivanov
2017 C conf
Introducing Euclidean Relations to Mizar.
FedCSIS
Adam Naumowicz, Artur Kornilowicz
2017 J jnl
Introduction to Liouville Numbers.
Formaliz. Math.
Adam Grabowski, Artur Kornilowicz
2017 J jnl
Simple-Named Complex-Valued Nominative Data - Definition and Basic Operations.
Formaliz. Math.
Ievgen Ivanov, Mykola S. Nikitchenko, Andrii Kryvolap, Artur Kornilowicz
2017 J jnl
Vieta's Formula about the Sum of Roots of Polynomials.
Formaliz. Math.
Artur Kornilowicz, Karol Pak
2016 C conf
Enhancement of Mizar Texts with Transitivity Property of Predicates.
CICM
Artur Kornilowicz
2016 J jnl
Niven's Theorem.
Formaliz. Math.
Artur Kornilowicz, Adam Naumowicz
2016 C conf
On algebraic hierarchies in mathematical repository of Mizar.
FedCSIS
Adam Grabowski, Artur Kornilowicz, Christoph Schwarzweller
2016 — conf
Registrations vs Redefinitions in Mizar.
FM4M/MathUI/ThEdu/DP/WIP@CIKM
Artur Kornilowicz
2016 J jnl
Some Algebraic Properties of Polynomial Rings.
Formaliz. Math.
Christoph Schwarzweller, Artur Kornilowicz
2015 J jnl
Characteristic of Rings. Prime Fields.
Formaliz. Math.
Christoph Schwarzweller, Artur Kornilowicz
2015 J jnl
Definitional Expansions in Mizar - In memoriam of Andrzej Trybulec, a pioneer of computerized formalization.
J. Autom. Reason.
Artur Kornilowicz
2015 C conf
Equality in computer proof-assistants.
FedCSIS
Adam Grabowski, Artur Kornilowicz, Christoph Schwarzweller
2015 J jnl
Flexary connectives in Mizar.
Comput. Lang. Syst. Struct.
Artur Kornilowicz
2015 J jnl
Four Decades of Mizar - Foreword.
J. Autom. Reason.
Adam Grabowski, Artur Kornilowicz, Adam Naumowicz
2015 C conf
Mizar: State-of-the-art and Beyond.
CICM
Grzegorz Bancerek, Czeslaw Bylinski, Adam Grabowski, Artur Kornilowicz, Roman Matuszewski, Adam Naumowicz, Karol Pak, Josef Urban
2014 J jnl
Pseudo-Canonical Formulae are Classical.
Formaliz. Math.
Marco B. Caminati, Artur Kornilowicz
2014 J jnl
The First Isomorphism Theorem and Other Properties of Rings.
Formaliz. Math.
Artur Kornilowicz, Christoph Schwarzweller
2013 J jnl
Commutativeness of Fundamental Groups of Topological Groups.
Formaliz. Math.
Artur Kornilowicz
2013 J jnl
Coproducts in Categories without Uniqueness of cod and dom.
Formaliz. Math.
Maciej Golinski, Artur Kornilowicz
2013 J jnl
Formal Mathematics for Mathematicians - Foreward to the Special Issue.
J. Autom. Reason.
Andrzej Trybulec, Artur Kornilowicz, Adam Naumowicz, Krystyna Trybulec Kuperberg
2013 J jnl
On Rewriting Rules in Mizar.
J. Autom. Reason.
Artur Kornilowicz
2012 J jnl
Cayley-Dickson Construction.
Formaliz. Math.
Artur Kornilowicz
2012 J jnl
Contracting Mapping on Normed Linear Space.
Formaliz. Math.
Keiichi Miyajima, Artur Kornilowicz, Yasunari Shidama
2012 J jnl
Fundamental Group of n-sphere for n ≥ 2.
Formaliz. Math.
Marco Riccardi, Artur Kornilowicz
2012 J jnl
Products in Categories without Uniqueness of cod and dom.
Formaliz. Math.
Artur Kornilowicz
2012 J jnl
Riemann Integral of Functions from R into
Formaliz. Math.
Keiichi Miyajima, Artur Kornilowicz, Yasunari Shidama
2012 — conf
Tentative Experiments with Ellipsis in Mizar.
AISC/MKM/Calculemus
Artur Kornilowicz
2012 J jnl
The Borsuk-Ulam Theorem.
Formaliz. Math.
Artur Kornilowicz, Marco Riccardi
2012 J jnl
The Differentiable Functions from R into
Formaliz. Math.
Keiko Narita, Artur Kornilowicz, Yasunari Shidama
2012 J jnl
Valuation Theory. Part I.
Formaliz. Math.
Grzegorz Bancerek, Hidetsune Kobayashi, Artur Kornilowicz
2011 J jnl
Cayley's Theorem.
Formaliz. Math.
Artur Kornilowicz
2011 J jnl
Mazur-Ulam Theorem.
Formaliz. Math.
Artur Kornilowicz
2011 J jnl
More on the Continuity of Real Functions.
Formaliz. Math.
Keiko Narita, Artur Kornilowicz, Yasunari Shidama
2010 J jnl
Miscellaneous Facts about Open Functions and Continuous Functions.
Formaliz. Math.
Artur Kornilowicz
2010 J jnl
Mizar in a Nutshell.
J. Formaliz. Reason.
Adam Grabowski, Artur Kornilowicz, Adam Naumowicz
2010 J jnl
On the Continuity of Some Functions.
Formaliz. Math.
Artur Kornilowicz
2010 J jnl
The Correspondence Between n-dimensional Euclidean Space and the Product of n Real Lines.
Formaliz. Math.
Artur Kornilowicz
2009 — conf
A Brief Overview of Mizar.
TPHOLs
Adam Naumowicz, Artur Kornilowicz
2009 J jnl
Arithmetic Operations on Functions from Sets into Functional Sets.
Formaliz. Math.
Artur Kornilowicz
2009 J jnl
Collective Operations on Number-Membered Sets.
Formaliz. Math.
Artur Kornilowicz
2009 J jnl
The Real Vector Spaces of Finite Sequences are Finite Dimensional.
Formaliz. Math.
Yatsuka Nakamura, Artur Kornilowicz, Nagato Oya, Yasunari Shidama
2002 A conf
A SAT Based Approach for Solving Formulas over Boolean and Linear Mathematical Propositions.
CADE
Gilles Audemard, Piergiorgio Bertoli, Alessandro Cimatti, Artur Kornilowicz, Roberto Sebastiani
2002 C conf
Bounded Model Checking for Timed Systems.
FORTE
Gilles Audemard, Alessandro Cimatti, Artur Kornilowicz, Roberto Sebastiani
2002 Misc conf
Integrating Boolean and Mathematical Solving: Foundations, Basic Algorithms, and Requirements.
AISC
Gilles Audemard, Piergiorgio Bertoli, Alessandro Cimatti, Artur Kornilowicz, Roberto Sebastiani