default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDArtur Kornilowicz
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j53]Artur Kornilowicz, Rafal Ziobro:
Elementary Number Theory Problems. Part XIII. Formaliz. Math. 32(1): 1-8 (2024)- 2023
- [j52]Artur Kornilowicz
:
Elementary Number Theory Problems. Part VII. Formaliz. Math. 31(1): 23-29 (2023) - [c19]Adam Grabowski, Artur Kornilowicz:
Implementing More Explicit Definitional Expansions in Mizar (Short Paper). ITP 2023: 37:1-37:8 - 2022
- [j51]Artur Kornilowicz:
Elementary Number Theory Problems. Part III. Formaliz. Math. 30(2): 135-158 (2022) - [j50]Artur Kornilowicz:
Elementary Number Theory Problems. Part IV. Formaliz. Math. 30(3): 223-228 (2022) - [j49]Artur Kornilowicz, Adam Naumowicz:
Elementary Number Theory Problems. Part V. Formaliz. Math. 30(3): 229-234 (2022) - 2021
- [j48]Artur Kornilowicz, Dariusz Surowik:
Elementary Number Theory Problems. Part II. Formaliz. Math. 29(1): 63-68 (2021) - [c18]Czeslaw Bylinski, Artur Kornilowicz, Adam Naumowicz:
Syntactic-Semantic Form of Mizar Articles. ITP 2021: 11:1-11:17 - [c17]Colin Rothgang, Artur Kornilowicz, Florian Rabe:
A New Export of the Mizar Mathematical Library. CICM 2021: 205-210 - 2020
- [j47]Artur Kornilowicz:
Partial Correctness of a Fibonacci Algorithm. Formaliz. Math. 28(2): 187-196 (2020) - [j46]Artur Kornilowicz:
Enhancement of properties in Mizar. PeerJ Comput. Sci. 6: e320 (2020)
2010 – 2019
- 2019
- [j45]Adrian Jaszczak, Artur Kornilowicz:
Partial Correctness of a Factorial Algorithm. Formaliz. Math. 27(2): 181-187 (2019) - [c16]Artur Kornilowicz:
Sethood Property in Mizar. CICM Workshops 2019 - [e1]Vadim Ermolayev, Frédéric Mallet, Vitaliy Yakovyna, Vyacheslav S. Kharchenko, Vitaliy Kobets, Artur Kornilowicz, Hennadiy Kravtsov, Mykola S. Nikitchenko, Serhiy Semerikov, Aleksander Spivakovsky:
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. CEUR Workshop Proceedings 2393, CEUR-WS.org 2019 [contents] - 2018
- [j44]Ievgen Ivanov, Artur Kornilowicz, Mykola S. Nikitchenko:
Implementation of the Composition-nominative Approach to Program Formalization in Mizar. Comput. Sci. J. Moldova 26(1): 59-76 (2018) - [j43]Artur Kornilowicz, Ievgen Ivanov, Mykola S. Nikitchenko:
Kleene Algebra of Partial Predicates. Formaliz. Math. 26(1): 11-20 (2018) - [j42]Ievgen Ivanov, Artur Kornilowicz, Mykola S. Nikitchenko:
On Algebras of Algorithms and Specifications over Uninterpreted Data. Formaliz. Math. 26(2): 141-147 (2018) - [j41]Ievgen Ivanov, Artur Kornilowicz, Mykola S. Nikitchenko:
On an Algorithmic Algebra over Simple-Named Complex-Valued Nominative Data. Formaliz. Math. 26(2): 149-158 (2018) - [j40]Ievgen Ivanov, Artur Kornilowicz, Mykola S. Nikitchenko:
An Inference System of an Extension of Floyd-Hoare Logic for Partial Predicates. Formaliz. Math. 26(2): 159-164 (2018) - [j39]Ievgen Ivanov, Artur Kornilowicz, Mykola S. Nikitchenko:
Partial Correctness of GCD Algorithm. Formaliz. Math. 26(2): 165-173 (2018) - [j38]Grzegorz Bancerek, Czeslaw Bylinski, Adam Grabowski, Artur Kornilowicz, Roman Matuszewski, Adam Naumowicz, Karol Pak:
The Role of the Mizar Mathematical Library for Interactive Proof Development in Mizar. J. Autom. Reason. 61(1-4): 9-32 (2018) - 2017
- [j37]Artur Kornilowicz:
Differentiability of Polynomials over Reals. Formaliz. Math. 25(1): 31 (2017) - [j36]Adam Grabowski, Artur Kornilowicz:
Introduction to Liouville Numbers. Formaliz. Math. 25(1): 39 (2017) - [j35]Artur Kornilowicz, Adam Naumowicz, Adam Grabowski:
All Liouville Numbers are Transcendental. Formaliz. Math. 25(1): 49 (2017) - [j34]Artur Kornilowicz, Karol Pak:
Vieta's Formula about the Sum of Roots of Polynomials. Formaliz. Math. 25(2): 87-92 (2017) - [j33]Artur Kornilowicz, Karol Pak:
Basel Problem - Preliminaries. Formaliz. Math. 25(2): 141-147 (2017) - [j32]Karol Pak, Artur Kornilowicz:
Basel Problem. Formaliz. Math. 25(2): 149-155 (2017) - [j31]Ievgen Ivanov, Mykola S. Nikitchenko, Andrii Kryvolap, Artur Kornilowicz:
Simple-Named Complex-Valued Nominative Data - Definition and Basic Operations. Formaliz. Math. 25(3): 205-216 (2017) - [c15]Artur Kornilowicz, Andrii Kryvolap, Mykola S. Nikitchenko, Ievgen Ivanov:
Formalization of the Algebra of Nominative Data in Mizar. FedCSIS 2017: 237-244 - [c14]Adam Naumowicz, Artur Kornilowicz:
Introducing Euclidean Relations to Mizar. FedCSIS 2017: 245-248 - [c13]Mykola Nikitchenko, Ievgen Ivanov, Artur Kornilowicz, Andrii Kryvolap:
Extended Floyd-Hoare Logic over Relational Nominative Data. ICTERI (Revised Selected Papers) 2017: 41-64 - [c12]Artur Kornilowicz, Andrii Kryvolap, Mykola S. Nikitchenko, Ievgen Ivanov:
An Approach To Formalization of an Extension of Floyd-Hoare Logic. ICTERI 2017: 504-523 - [c11]Artur Kornilowicz, Andrii Kryvolap, Mykola S. Nikitchenko, Ievgen Ivanov:
Formalization of the Nominative Algorithmic Algebra in Mizar. ISAT (2) 2017: 176-186 - 2016
- [j30]Christoph Schwarzweller, Artur Kornilowicz:
Some Algebraic Properties of Polynomial Rings. Formaliz. Math. 24(3): 227-237 (2016) - [j29]Artur Kornilowicz, Adam Naumowicz:
Niven's Theorem. Formaliz. Math. 24(4): 301-308 (2016) - [c10]Artur Kornilowicz:
Registrations vs Redefinitions in Mizar. FM4M/MathUI/ThEdu/DP/WIP@CIKM 2016: 17-20 - [c9]Adam Grabowski, Artur Kornilowicz, Christoph Schwarzweller:
On algebraic hierarchies in mathematical repository of Mizar. FedCSIS 2016: 363-371 - [c8]Artur Kornilowicz:
Enhancement of Mizar Texts with Transitivity Property of Predicates. CICM 2016: 157-162 - 2015
- [j28]Artur Kornilowicz:
Flexary connectives in Mizar. Comput. Lang. Syst. Struct. 44: 238-250 (2015) - [j27]Christoph Schwarzweller, Artur Kornilowicz:
Characteristic of Rings. Prime Fields. Formaliz. Math. 23(4): 333-349 (2015) - [j26]Adam Grabowski, Artur Kornilowicz, Adam Naumowicz:
Four Decades of Mizar - Foreword. J. Autom. Reason. 55(3): 191-198 (2015) - [j25]Artur Kornilowicz:
Definitional Expansions in Mizar - In memoriam of Andrzej Trybulec, a pioneer of computerized formalization. J. Autom. Reason. 55(3): 257-268 (2015) - [c7]Adam Grabowski, Artur Kornilowicz, Christoph Schwarzweller:
Equality in computer proof-assistants. FedCSIS 2015: 45-54 - [c6]Grzegorz Bancerek, Czeslaw Bylinski, Adam Grabowski, Artur Kornilowicz, Roman Matuszewski, Adam Naumowicz, Karol Pak, Josef Urban:
Mizar: State-of-the-art and Beyond. CICM 2015: 261-279 - 2014
- [j24]Marco B. Caminati, Artur Kornilowicz:
Pseudo-Canonical Formulae are Classical. Formaliz. Math. 22(2): 99-103 (2014) - [j23]Artur Kornilowicz, Christoph Schwarzweller:
The First Isomorphism Theorem and Other Properties of Rings. Formaliz. Math. 22(4): 291-301 (2014) - 2013
- [j22]Artur Kornilowicz:
Commutativeness of Fundamental Groups of Topological Groups. Formaliz. Math. 21(2): 127-131 (2013) - [j21]Maciej Golinski, Artur Kornilowicz:
Coproducts in Categories without Uniqueness of cod and dom. Formaliz. Math. 21(4): 235-239 (2013) - [j20]Andrzej Trybulec, Artur Kornilowicz, Adam Naumowicz, Krystyna Trybulec Kuperberg:
Formal Mathematics for Mathematicians - Foreward to the Special Issue. J. Autom. Reason. 50(2): 119-121 (2013) - [j19]Artur Kornilowicz:
On Rewriting Rules in Mizar. J. Autom. Reason. 50(2): 203-210 (2013) - 2012
- [j18]Grzegorz Bancerek, Hidetsune Kobayashi, Artur Kornilowicz:
Valuation Theory. Part I. Formaliz. Math. 20(1): 7-14 (2012) - [j17]Keiko Narita, Artur Kornilowicz, Yasunari Shidama:
The Differentiable Functions from R into Rn. Formaliz. Math. 20(1): 65-71 (2012) - [j16]Keiichi Miyajima, Artur Kornilowicz, Yasunari Shidama:
Riemann Integral of Functions from R into n-dimensional Real Normed Space. Formaliz. Math. 20(1): 79-86 (2012) - [j15]Marco Riccardi, Artur Kornilowicz:
Fundamental Group of n-sphere for n ≥ 2. Formaliz. Math. 20(2): 97-104 (2012) - [j14]Artur Kornilowicz, Marco Riccardi:
The Borsuk-Ulam Theorem. Formaliz. Math. 20(2): 105-112 (2012) - [j13]Artur Kornilowicz:
Cayley-Dickson Construction. Formaliz. Math. 20(4): 281-290 (2012) - [j12]Keiichi Miyajima, Artur Kornilowicz, Yasunari Shidama:
Contracting Mapping on Normed Linear Space. Formaliz. Math. 20(4): 291-301 (2012) - [j11]Artur Kornilowicz:
Products in Categories without Uniqueness of cod and dom. Formaliz. Math. 20(4): 303-307 (2012) - [c5]Artur Kornilowicz:
Tentative Experiments with Ellipsis in Mizar. AISC/MKM/Calculemus 2012: 453-457 - 2011
- [j10]Artur Kornilowicz:
Mazur-Ulam Theorem. Formaliz. Math. 19(3): 127-130 (2011) - [j9]Artur Kornilowicz:
Cayley's Theorem. Formaliz. Math. 19(4): 223-225 (2011) - [j8]Keiko Narita, Artur Kornilowicz, Yasunari Shidama:
More on the Continuity of Real Functions. Formaliz. Math. 19(4): 233-239 (2011) - 2010
- [j7]Artur Kornilowicz:
The Correspondence Between n-dimensional Euclidean Space and the Product of n Real Lines. Formaliz. Math. 18(1-4): 81-85 (2010) - [j6]Artur Kornilowicz:
Miscellaneous Facts about Open Functions and Continuous Functions. Formaliz. Math. 18(1-4): 171-174 (2010) - [j5]Artur Kornilowicz:
On the Continuity of Some Functions. Formaliz. Math. 18(1-4): 175-183 (2010) - [j4]Adam Grabowski, Artur Kornilowicz, Adam Naumowicz:
Mizar in a Nutshell. J. Formaliz. Reason. 3(2): 153-245 (2010)
2000 – 2009
- 2009
- [j3]Yatsuka Nakamura, Artur Kornilowicz, Nagato Oya, Yasunari Shidama:
The Real Vector Spaces of Finite Sequences are Finite Dimensional. Formaliz. Math. 17(1-4): 1-9 (2009) - [j2]Artur Kornilowicz:
Arithmetic Operations on Functions from Sets into Functional Sets. Formaliz. Math. 17(1-4): 43-60 (2009) - [j1]Artur Kornilowicz:
Collective Operations on Number-Membered Sets. Formaliz. Math. 17(1-4): 99-115 (2009) - [c4]Adam Naumowicz, Artur Kornilowicz:
A Brief Overview of Mizar. TPHOLs 2009: 67-72 - 2002
- [c3]Gilles Audemard, Piergiorgio Bertoli, Alessandro Cimatti, Artur Kornilowicz, Roberto Sebastiani:
Integrating Boolean and Mathematical Solving: Foundations, Basic Algorithms, and Requirements. AISC 2002: 231-245 - [c2]Gilles Audemard, Piergiorgio Bertoli, Alessandro Cimatti, Artur Kornilowicz, Roberto Sebastiani:
A SAT Based Approach for Solving Formulas over Boolean and Linear Mathematical Propositions. CADE 2002: 195-210 - [c1]Gilles Audemard, Alessandro Cimatti, Artur Kornilowicz, Roberto Sebastiani:
Bounded Model Checking for Timed Systems. FORTE 2002: 243-259
Coauthor Index
aka: Mykola Nikitchenko
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 22:07 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
