Artur Kornilowicz

发表

Ievgen Ivanov, Mykola Nikitchenko, Artur Kornilowicz, 2018, Formaliz. Math..

Artur Kornilowicz, Artur Korniłowicz, 2012, Formaliz. Math..

Introducing Euclidean relations to Mizar

Adam Naumowicz, Artur Kornilowicz, 2017, 2017 Federated Conference on Computer Science and Information Systems (FedCSIS).

Pseudo-Canonical Formulae are Classical

Artur Kornilowicz, Marco B. Caminati, M. Caminati, 2014, Formaliz. Math..

On the Continuity of Some Functions

Artur Kornilowicz, Artur Korniłowicz, 2010, Formaliz. Math..

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

Ievgen Ivanov, Mykola Nikitchenko, Artur Kornilowicz, 2018, Comput. Sci. J. Moldova.

Mizar: State-of-the-art and Beyond

Adam Naumowicz, Josef Urban, Adam Grabowski, 2015, CICM.

The First Isomorphism Theorem and Other Properties of Rings

Artur Kornilowicz, Christoph Schwarzweller, Christoph Schwarzweller, 2014, Formaliz. Math..

Registrations vs Redefinitions in Mizar

Artur Kornilowicz, 2016, FM4M/MathUI/ThEdu/DP/WIP@CIKM.

Riemann Integral of Functions from R into n-dimensional Real Normed Space

Yasunari Shidama, Artur Kornilowicz, Keiichi Miyajima, 2012, Formaliz. Math..

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

Artur Kornilowicz, 2015, J. Autom. Reason..

Collective Operations on Number-Membered Sets

Artur Kornilowicz, 2009, Formaliz. Math..

Formalization of the Nominative Algorithmic Algebra in Mizar

Ievgen Ivanov, Mykola Nikitchenko, Artur Kornilowicz, 2017, ISAT.

Miscellaneous Facts about Open Functions and Continuous Functions

Artur Kornilowicz, 2010, Formaliz. Math..

Simple-Named Complex-Valued Nominative Data – Definition and Basic Operations

Ievgen Ivanov, Mykola Nikitchenko, Artur Kornilowicz, 2017, Formaliz. Math..

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

Ievgen Ivanov, Mykola Nikitchenko, Artur Kornilowicz, 2018, Formaliz. Math..

Cayley's Theorem

Artur Kornilowicz, Artur Korniłowicz, 2011, Formaliz. Math..

Formalization of the algebra of nominative data in mizar

Ievgen Ivanov, Mykola Nikitchenko, Artur Kornilowicz, 2017, 2017 Federated Conference on Computer Science and Information Systems (FedCSIS).

Formal Mathematics for Mathematicians

Adam Naumowicz, Artur Kornilowicz, Andrzej Trybulec, 2012, Journal of Automated Reasoning.

Enhancement of Mizar Texts with Transitivity Property of Predicates

Artur Kornilowicz, 2016, CICM.

Equality in computer proof-assistants

Adam Grabowski, Artur Kornilowicz, Christoph Schwarzweller, 2015, 2015 Federated Conference on Computer Science and Information Systems (FedCSIS).

Niven’s Theorem

Adam Naumowicz, Artur Kornilowicz, Artur Kornilowicz, 2016, Formaliz. Math..

Introduction to Liouville Numbers

Adam Grabowski, Artur Kornilowicz, 2017, Formaliz. Math..

A Brief Overview of Mizar

Adam Naumowicz, Artur Kornilowicz, 2009, TPHOLs.

A Formal Theory of Abstract Computers

Artur Kornilowicz, 2001 .

Arithmetic Operations on Functions from Sets into Functional Sets

Artur Kornilowicz, 2009, Formaliz. Math..

An Inference System of an Extension of Floyd-Hoare Logic for Partial Predicates

Ievgen Ivanov, Mykola Nikitchenko, Artur Kornilowicz, 2018, Formaliz. Math..

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

Piergiorgio Bertoli, Gilles Audemard, Alessandro Cimatti, 2002, CADE.

Mizar in a Nutshell

Adam Naumowicz, Adam Grabowski, Artur Kornilowicz, 2010, J. Formaliz. Reason..

Flexary connectives in Mizar

Artur Kornilowicz, 2015, Comput. Lang. Syst. Struct..

Basel Problem

Karol Pak, Artur Kornilowicz, K. Pak, 2017, Formaliz. Math..

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

Artur Kornilowicz, Artur Korniłowicz, 2010, Formaliz. Math..

Sethood Property in Mizar

Artur Kornilowicz, 2019, CICM Workshops.

Bounded Model Checking for Timed Systems

Gilles Audemard, Alessandro Cimatti, Artur Kornilowicz, 2002, FORTE.

Contracting Mapping on Normed Linear Space

Yasunari Shidama, Artur Kornilowicz, Keiichi Miyajima, 2012, Formaliz. Math..

Four Decades of Mizar - Foreword

Adam Naumowicz, Adam Grabowski, Artur Kornilowicz, 2015, J. Autom. Reason..

Kleene Algebra of Partial Predicates

Ievgen Ivanov, Mykola Nikitchenko, Artur Kornilowicz, 2018, Formaliz. Math..

Some Algebraic Properties of Polynomial Rings

Artur Kornilowicz, Christoph Schwarzweller, 2016, Formaliz. Math..

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

Piergiorgio Bertoli, Gilles Audemard, Alessandro Cimatti, 2002, AISC.

Vieta’s Formula about the Sum of Roots of Polynomials

Karol Pak, Artur Kornilowicz, 2017, Formaliz. Math..

Partial Correctness of a Factorial Algorithm

Artur Kornilowicz, Adrian Jaszczak, 2019, Formaliz. Math..

Characteristic of Rings. Prime Fields

Artur Kornilowicz, Christoph Schwarzweller, 2015, Formaliz. Math..

The Differentiable Functions from R into Rn

Yasunari Shidama, Artur Kornilowicz, Keiko Narita, 2012, Formaliz. Math..

Commutativeness of Fundamental Groups of Topological Groups

Artur Kornilowicz, Artur Korniłowicz, 2013, Formaliz. Math..

The Borsuk-Ulam Theorem

Artur Kornilowicz, Marco Riccardi, Marco Riccardi, 2012, Formaliz. Math..

Coproducts in Categories without Uniqueness of cod and dom

Artur Kornilowicz, Maciej Golinski, Maciej Golinski, 2013, Formaliz. Math..

On algebraic hierarchies in mathematical repository of Mizar

Adam Grabowski, Artur Kornilowicz, Christoph Schwarzweller, 2016, 2016 Federated Conference on Computer Science and Information Systems (FedCSIS).

Valuation Theory. Part I

Artur Kornilowicz, Hidetsune Kobayashi, Grzegorz Bancerek, 2012, Formaliz. Math..

Mazur-Ulam Theorem

Artur Kornilowicz, Artur Korniłowicz, 2011, Formaliz. Math..

The Role of the Mizar Mathematical Library for Interactive Proof Development in Mizar

Adam Naumowicz, Adam Grabowski, Karol Pak, 2017, Journal of Automated Reasoning.

On Algebras of Algorithms and Specifications over Uninterpreted Data

Ievgen Ivanov, Mykola Nikitchenko, Artur Kornilowicz, 2018, Formaliz. Math..

All Liouville Numbers are Transcendental

Adam Naumowicz, Adam Grabowski, Artur Kornilowicz, 2017, Formaliz. Math..

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

Ievgen Ivanov, Mykola Nikitchenko, Artur Kornilowicz, 2017, ICTERI.

More on the Continuity of Real Functions

Yasunari Shidama, Artur Kornilowicz, Keiko Narita, 2011, Formaliz. Math..

Tentative Experiments with Ellipsis in Mizar

Artur Kornilowicz, Artur Korniłowicz, 2012, AISC/MKM/Calculemus.

The Real Vector Spaces of Finite Sequences are Finite Dimensional

Yasunari Shidama, Yatsuka Nakamura, Artur Kornilowicz, 2009, Formaliz. Math..

Differentiability of Polynomials over Reals

Artur Kornilowicz, Artur Korniłowicz, 2017, Formaliz. Math..

On Rewriting Rules in Mizar

Artur Kornilowicz, 2012, Journal of Automated Reasoning.

Basel Problem – Preliminaries

Karol Pak, Artur Kornilowicz, 2017, Formaliz. Math..

Fundamental Group of n-sphere for n ≥ 2

Artur Kornilowicz, Marco Riccardi, 2012, Formaliz. Math..

Elementary Number Theory Problems. Part II

Artur Kornilowicz, Dariusz Surowik, 2021, Formaliz. Math..

A New Export of the Mizar Mathematical Library

Florian Rabe, Artur Kornilowicz, Colin Rothgang, 2021, CICM.

Syntactic-Semantic Form of Mizar Articles

Adam Naumowicz, Artur Kornilowicz, Czeslaw Bylinski, 2021, ITP.

Four Decades of Mizar

Adam Naumowicz, Adam Grabowski, Artur Kornilowicz, 2015, Journal of Automated Reasoning.

Definitional Expansions in Mizar

Artur Kornilowicz, 2015, Journal of Automated Reasoning.