Artur Kornilowicz

According to our database, Artur Kornilowicz authored at least 71 papers between 2002 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

Elementary Number Theory Problems. Part VII.

Artur Kornilowicz

Formaliz. Math., September, 2023

Implementing More Explicit Definitional Expansions in Mizar (Short Paper).

Adam Grabowski, Artur Kornilowicz

Proceedings of the 14th International Conference on Interactive Theorem Proving, 2023

2022

Elementary Number Theory Problems. Part V.

Artur Kornilowicz, Adam Naumowicz

Formaliz. Math., 2022

Elementary Number Theory Problems. Part IV.

Artur Kornilowicz

Formaliz. Math., 2022

Elementary Number Theory Problems. Part III.

Artur Kornilowicz

Formaliz. Math., 2022

2021

Elementary Number Theory Problems. Part II.

Artur Kornilowicz, Dariusz Surowik

Formaliz. Math., 2021

A New Export of the Mizar Mathematical Library.

Colin Rothgang, Artur Kornilowicz, Florian Rabe

Proceedings of the Intelligent Computer Mathematics - 14th International Conference, 2021

Syntactic-Semantic Form of Mizar Articles.

Czeslaw Bylinski, Artur Kornilowicz, Adam Naumowicz

Proceedings of the 12th International Conference on Interactive Theorem Proving, 2021

2020

Enhancement of properties in Mizar.

Artur Kornilowicz

PeerJ Comput. Sci., 2020

Partial Correctness of a Fibonacci Algorithm.

Artur Kornilowicz

Formaliz. Math., 2020

2019

Partial Correctness of a Factorial Algorithm.

Adrian Jaszczak, Artur Kornilowicz

Formaliz. Math., 2019

Sethood Property in Mizar.

Artur Kornilowicz

Proceedings of the Joint Proceedings of the FMM and LML Workshops, 2019

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

Kleene Algebra of Partial Predicates.

Artur Kornilowicz, Ievgen Ivanov, Mykola S. Nikitchenko

Formaliz. Math., 2018

Partial Correctness of GCD Algorithm.

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

On an Algorithmic Algebra over Simple-Named Complex-Valued Nominative Data.

Ievgen Ivanov, Artur Kornilowicz, Mykola S. Nikitchenko

Formaliz. Math., 2018

On Algebras of Algorithms and Specifications over Uninterpreted Data.

Ievgen Ivanov, Artur Kornilowicz, Mykola S. Nikitchenko

Formaliz. Math., 2018

Implementation of the Composition-nominative Approach to Program Formalization in Mizar.

Ievgen Ivanov, Artur Kornilowicz, Mykola S. Nikitchenko

Comput. Sci. J. Moldova, 2018

2017

Basel Problem.

Karol Pak, Artur Kornilowicz

Formaliz. Math., 2017

Basel Problem - Preliminaries.

Artur Kornilowicz, Karol Pak

Formaliz. Math., 2017

Vieta's Formula about the Sum of Roots of Polynomials.

Artur Kornilowicz, Karol Pak

Formaliz. Math., 2017

All Liouville Numbers are Transcendental.

Artur Kornilowicz, Adam Naumowicz, Adam Grabowski

Formaliz. Math., 2017

Differentiability of Polynomials over Reals.

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

Introduction to Liouville Numbers.

Adam Grabowski, Artur Kornilowicz

Formaliz. Math., 2017

Formalization of the Nominative Algorithmic Algebra in Mizar.

Artur Kornilowicz, Andrii Kryvolap, Mykola S. Nikitchenko, Ievgen Ivanov

Proceedings of the Information Systems Architecture and Technology: Proceedings of 38th International Conference on Information Systems Architecture and Technology - ISAT 2017, 2017

Extended Floyd-Hoare Logic over Relational Nominative Data.

Mykola Nikitchenko, Ievgen Ivanov, Artur Kornilowicz, Andrii Kryvolap

Proceedings of the Information and Communication Technologies in Education, Research, and Industrial Applications, 2017

An Approach To Formalization of an Extension of Floyd-Hoare Logic.

Artur Kornilowicz, Andrii Kryvolap, Mykola S. Nikitchenko, Ievgen Ivanov

Proceedings of the 13th International Conference on ICT in Education, 2017

Introducing Euclidean Relations to Mizar.

Adam Naumowicz, Artur Kornilowicz

Proceedings of the 2017 Federated Conference on Computer Science and Information Systems, 2017

Formalization of the Algebra of Nominative Data in Mizar.

Artur Kornilowicz, Andrii Kryvolap, Mykola S. Nikitchenko, Ievgen Ivanov

Proceedings of the 2017 Federated Conference on Computer Science and Information Systems, 2017

2016

Some Algebraic Properties of Polynomial Rings.

Christoph Schwarzweller, Artur Kornilowicz

Formaliz. Math., 2016

Niven's Theorem.

Artur Kornilowicz, Adam Naumowicz

Formaliz. Math., 2016

Enhancement of Mizar Texts with Transitivity Property of Predicates.

Artur Kornilowicz

Proceedings of the Intelligent Computer Mathematics - 9th International Conference, 2016

On algebraic hierarchies in mathematical repository of Mizar.

Adam Grabowski, Artur Kornilowicz, Christoph Schwarzweller

Proceedings of the 2016 Federated Conference on Computer Science and Information Systems, 2016

Registrations vs Redefinitions in Mizar.

Artur Kornilowicz

Proceedings of the Joint Proceedings of the FM4M, 2016

2015

Definitional Expansions in Mizar - In memoriam of Andrzej Trybulec, a pioneer of computerized formalization.

Artur Kornilowicz

J. Autom. Reason., 2015

Four Decades of Mizar - Foreword.

Adam Grabowski, Artur Kornilowicz, Adam Naumowicz

J. Autom. Reason., 2015

Characteristic of Rings. Prime Fields.

Christoph Schwarzweller, Artur Kornilowicz

Formaliz. Math., 2015

Flexary connectives in Mizar.

Artur Kornilowicz

Comput. Lang. Syst. Struct., 2015

Mizar: State-of-the-art and Beyond.

Grzegorz Bancerek, Czeslaw Bylinski, Adam Grabowski, Artur Kornilowicz, Roman Matuszewski, Adam Naumowicz, Karol Pak, Josef Urban

Proceedings of the Intelligent Computer Mathematics - International Conference, 2015

Equality in computer proof-assistants.

Adam Grabowski, Artur Kornilowicz, Christoph Schwarzweller

Proceedings of the 2015 Federated Conference on Computer Science and Information Systems, 2015

2014

The First Isomorphism Theorem and Other Properties of Rings.

Artur Kornilowicz, Christoph Schwarzweller

Formaliz. Math., 2014

Pseudo-Canonical Formulae are Classical.

Marco B. Caminati, Artur Kornilowicz

Formaliz. Math., 2014

2013

Formal Mathematics for Mathematicians - Foreward to the Special Issue.

Andrzej Trybulec, Artur Kornilowicz, Adam Naumowicz, Krystyna Trybulec Kuperberg

J. Autom. Reason., 2013

On Rewriting Rules in Mizar.

Artur Kornilowicz

J. Autom. Reason., 2013

Commutativeness of Fundamental Groups of Topological Groups.

Artur Kornilowicz

Formaliz. Math., 2013

Coproducts in Categories without Uniqueness of cod and dom.

Maciej Golinski, Artur Kornilowicz

Formaliz. Math., 2013

2012

Fundamental Group of n-sphere for n ≥ 2.

Marco Riccardi, Artur Kornilowicz

Formaliz. Math., 2012

The Differentiable Functions from R into <i>R</i>^<i>n</i>.

Keiko Narita, Artur Kornilowicz, Yasunari Shidama

Formaliz. Math., 2012

Contracting Mapping on Normed Linear Space.

Keiichi Miyajima, Artur Kornilowicz, Yasunari Shidama

Formaliz. Math., 2012

Riemann Integral of Functions from R into <i>n</i>-dimensional Real Normed Space.

Keiichi Miyajima, Artur Kornilowicz, Yasunari Shidama

Formaliz. Math., 2012

The Borsuk-Ulam Theorem.

Artur Kornilowicz, Marco Riccardi

Formaliz. Math., 2012

Products in Categories without Uniqueness of cod and dom.

Artur Kornilowicz

Formaliz. Math., 2012

Cayley-Dickson Construction.

Artur Kornilowicz

Formaliz. Math., 2012

Valuation Theory. Part I.

Grzegorz Bancerek, Hidetsune Kobayashi, Artur Kornilowicz

Formaliz. Math., 2012

Tentative Experiments with Ellipsis in Mizar.

Artur Kornilowicz

Proceedings of the Intelligent Computer Mathematics - 11th International Conference, 2012

2011

More on the Continuity of Real Functions.

Keiko Narita, Artur Kornilowicz, Yasunari Shidama

Formaliz. Math., 2011

Cayley's Theorem.

Artur Kornilowicz

Formaliz. Math., 2011

Mazur-Ulam Theorem.

Artur Kornilowicz

Formaliz. Math., 2011

2010

Mizar in a Nutshell.

Adam Grabowski, Artur Kornilowicz, Adam Naumowicz

J. Formaliz. Reason., 2010

On the Continuity of Some Functions.

Artur Kornilowicz

Formaliz. Math., 2010

Miscellaneous Facts about Open Functions and Continuous Functions.

Artur Kornilowicz

Formaliz. Math., 2010

The Correspondence Between n-dimensional Euclidean Space and the Product of n Real Lines.

Artur Kornilowicz

Formaliz. Math., 2010

2009

The Real Vector Spaces of Finite Sequences are Finite Dimensional.

Yatsuka Nakamura, Artur Kornilowicz, Nagato Oya, Yasunari Shidama

Formaliz. Math., 2009

Collective Operations on Number-Membered Sets.

Artur Kornilowicz

Formaliz. Math., 2009

Arithmetic Operations on Functions from Sets into Functional Sets.

Artur Kornilowicz

Formaliz. Math., 2009

A Brief Overview of Mizar.

Adam Naumowicz, Artur Kornilowicz

Proceedings of the Theorem Proving in Higher Order Logics, 22nd International Conference, 2009

2002

Bounded Model Checking for Timed Systems.

Gilles Audemard, Alessandro Cimatti, Artur Kornilowicz, Roberto Sebastiani

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2002

A SAT Based Approach for Solving Formulas over Boolean and Linear Mathematical Propositions.

Gilles Audemard, Piergiorgio Bertoli, Alessandro Cimatti, Artur Kornilowicz, Roberto Sebastiani

Proceedings of the Automated Deduction, 2002

Integrating Boolean and Mathematical Solving: Foundations, Basic Algorithms, and Requirements.

Gilles Audemard, Piergiorgio Bertoli, Alessandro Cimatti, Artur Kornilowicz, Roberto Sebastiani

Proceedings of the Artificial Intelligence, 2002