×

Korniłowicz, Artur

Author ID: kornilowicz.artur Recent zbMATH articles by "Korniłowicz, Artur"
Published as: Korniłowicz, Artur; Kornilowicz, Artur; Kornilowicz, A.
External Links: MGP · ORCID

Publications by Year

Citations contained in zbMATH Open

38 Publications have been cited 526 times in 283 Documents Cited by Year
Mizar: state-of-the-art and beyond. Zbl 1417.68201
Bancerek, Grzegorz; Byliński, Czesław; Grabowski, Adam; Korniłowicz, Artur; Matuszewski, Roman; Naumowicz, Adam; Pąk, Karol; Urban, Josef
118
2015
The role of the Mizar mathematical library for interactive proof development in Mizar. Zbl 1433.68530
Bancerek, Grzegorz; Byliński, Czesław; Grabowski, Adam; Korniłowicz, Artur; Matuszewski, Roman; Naumowicz, Adam; Pąk, Karol
94
2018
Four decades of {Mizar}. Foreword. Zbl 1336.00111
73
2015
Mizar in a nutshell. Zbl 1211.68369
Grabowski, Adam; Kornilowicz, Artur; Naumowicz, Adam
54
2010
A brief overview of Mizar. Zbl 1252.68262
Naumowicz, Adam; Korniłowicz, Artur
27
2009
Simple-named complex-valued nominative data – definition and basic operations. Zbl 1401.68200
Ivanov, Ievgen; Nikitchenko, Mykola; Kryvolap, Andrii; Korniłowicz, Artur
18
2017
On rewriting rules in Mizar. Zbl 1260.68376
Korniłowicz, Artur
17
2013
A SAT based approach for solving formulas over Boolean and linear mathematical propositions. Zbl 1072.68562
Audemard, Gilles; Bertoli, Piergiorgio; Cimatti, Alessandro; Korniłowicz, Artur; Sebastiani, Roberto
16
2002
Bounded model checking for timed systems. Zbl 1037.68549
Audemard, G.; Cimatti, A.; Kornilowicz, A.; Sebastiani, R.
14
2002
Implementation of the composition-nominative approach to program formalization in Mizar. Zbl 1390.68183
Ivanov, Ievgen; Korniłowicz, Artur; Nikitchenko, Mykola
12
2018
Kleene algebra of partial predicates. Zbl 1401.03106
Korniłowicz, Artur; Ivanov, Ievgen; Nikitchenko, Mykola
10
2018
Flexary connectives in Mizar. Zbl 1387.68207
Korniłowicz, Artur
9
2015
Tentative experiments with ellipsis in Mizar. Zbl 1360.68755
Korniłowicz, Artur
7
2012
Commutativeness of fundamental groups of topological groups. Zbl 1298.55008
Korniłowicz, Artur
6
2013
The first isomorphism theorem and other properties of rings. Zbl 1316.13003
Korniłowicz, Artur; Schwarzweller, Christoph
6
2014
Definitional expansions in Mizar. In memoriam of Andrzej Trybulec, a pioneer of computerized formalization. Zbl 1356.68192
Korniłowicz, Artur
5
2015
More on the continuity of real functions. Zbl 1276.26006
Narita, Keiko; Kornilowicz, Artur; Shidama, Yasunari
4
2011
Basel problem – preliminaries. Zbl 1377.11092
Korniłowicz, Artur; Pąk, Karol
3
2017
Characteristic of rings. Prime fields. Zbl 1334.13003
Schwarzweller, Christoph; Korniłowicz, Artur
3
2015
On algebras of algorithms and specifications over uninterpreted data. Zbl 1422.68033
Ivanov, Ievgen; Korniłowicz, Artur; Nikitchenko, Mykola
3
2018
On an algorithmic algebra over simple-named complex-valued nominative data. Zbl 1422.68034
Ivanov, Ievgen; Korniłowicz, Artur; Nikitchenko, Mykola
3
2018
An inference system of an extension of Floyd-Hoare logic for partial predicates. Zbl 1422.03059
Ivanov, Ievgen; Korniłowicz, Artur; Nikitchenko, Mykola
3
2018
Some algebraic properties of polynomial rings. Zbl 1357.12006
Schwarzweller, Christoph; Korniłowicz, Artur; Rowinska-Schwarzweller, Agnieszka
2
2016
Enhancement of Mizar texts with transitivity property of predicates. Zbl 1344.68206
Korniłowicz, Artur
2
2016
Fundamental group of \(n\)-sphere for \(n \geq 2\). Zbl 1276.57004
Riccardi, Marco; Korniłowicz, Artur
2
2012
Riemann integral of functions from \(\mathbb R\) into \(n\)-dimensional real normed space. Zbl 1276.26026
Miyajima, Keiichi; Korniłowicz, Artur; Shidama, Yasunari
2
2012
Partial correctness of GCD algorithm. Zbl 1422.11240
Ivanov, Ievgen; Korniłowicz, Artur; Nikitchenko, Mykola
2
2018
Integrating Boolean and mathematical solving: Foundations, basic algorithms, and requirements. Zbl 1072.68603
Audemard, Gilles; Bertoli, Piergiorgio; Cimatti, Alessandro; Korniłowicz, Artur; Sebastiani, Roberto
1
2002
Pseudo-canonical formulae are classical. Zbl 1352.03013
Caminati, Marco B.; Korniłowicz, Artur
1
2014
Basel problem. Zbl 1377.11095
Pąk, Karol; Korniłowicz, Artur
1
2017
Differentiability of polynomials over reals. Zbl 1365.26003
Korniłowicz, Artur
1
2017
Introduction to Liouville numbers. Zbl 1365.11090
Grabowski, Adam; Korniłowicz, Artur
1
2017
Elementary number theory problems. II. Zbl 1473.68209
Korniłowicz, Artur; Surowik, Dariusz
1
2021
Partial correctness of a factorial algorithm. Zbl 1432.68536
Jaszczak, Adrian; Korniłowicz, Artur
1
2019
The Borsuk-Ulam theorem. Zbl 1452.55002
Korniłowicz, Artur; Riccardi, Marco
1
2012
Contracting mapping on normed linear space. Zbl 1446.47034
Miyajima, Keiichi; Korniłowicz, Artur; Shidama, Yasunari
1
2012
Products in categories without uniqueness of cod and dom. Zbl 1301.18007
Korniłowicz, Artur
1
2012
The differentiable functions from \(\mathbb R\) into \(\mathcal R^n\). Zbl 1276.26034
Narita, Keiko; Korniłowicz, Artur; Shidama, Yasunari
1
2012
Elementary number theory problems. II. Zbl 1473.68209
Korniłowicz, Artur; Surowik, Dariusz
1
2021
Partial correctness of a factorial algorithm. Zbl 1432.68536
Jaszczak, Adrian; Korniłowicz, Artur
1
2019
The role of the Mizar mathematical library for interactive proof development in Mizar. Zbl 1433.68530
Bancerek, Grzegorz; Byliński, Czesław; Grabowski, Adam; Korniłowicz, Artur; Matuszewski, Roman; Naumowicz, Adam; Pąk, Karol
94
2018
Implementation of the composition-nominative approach to program formalization in Mizar. Zbl 1390.68183
Ivanov, Ievgen; Korniłowicz, Artur; Nikitchenko, Mykola
12
2018
Kleene algebra of partial predicates. Zbl 1401.03106
Korniłowicz, Artur; Ivanov, Ievgen; Nikitchenko, Mykola
10
2018
On algebras of algorithms and specifications over uninterpreted data. Zbl 1422.68033
Ivanov, Ievgen; Korniłowicz, Artur; Nikitchenko, Mykola
3
2018
On an algorithmic algebra over simple-named complex-valued nominative data. Zbl 1422.68034
Ivanov, Ievgen; Korniłowicz, Artur; Nikitchenko, Mykola
3
2018
An inference system of an extension of Floyd-Hoare logic for partial predicates. Zbl 1422.03059
Ivanov, Ievgen; Korniłowicz, Artur; Nikitchenko, Mykola
3
2018
Partial correctness of GCD algorithm. Zbl 1422.11240
Ivanov, Ievgen; Korniłowicz, Artur; Nikitchenko, Mykola
2
2018
Simple-named complex-valued nominative data – definition and basic operations. Zbl 1401.68200
Ivanov, Ievgen; Nikitchenko, Mykola; Kryvolap, Andrii; Korniłowicz, Artur
18
2017
Basel problem – preliminaries. Zbl 1377.11092
Korniłowicz, Artur; Pąk, Karol
3
2017
Basel problem. Zbl 1377.11095
Pąk, Karol; Korniłowicz, Artur
1
2017
Differentiability of polynomials over reals. Zbl 1365.26003
Korniłowicz, Artur
1
2017
Introduction to Liouville numbers. Zbl 1365.11090
Grabowski, Adam; Korniłowicz, Artur
1
2017
Some algebraic properties of polynomial rings. Zbl 1357.12006
Schwarzweller, Christoph; Korniłowicz, Artur; Rowinska-Schwarzweller, Agnieszka
2
2016
Enhancement of Mizar texts with transitivity property of predicates. Zbl 1344.68206
Korniłowicz, Artur
2
2016
Mizar: state-of-the-art and beyond. Zbl 1417.68201
Bancerek, Grzegorz; Byliński, Czesław; Grabowski, Adam; Korniłowicz, Artur; Matuszewski, Roman; Naumowicz, Adam; Pąk, Karol; Urban, Josef
118
2015
Four decades of {Mizar}. Foreword. Zbl 1336.00111
73
2015
Flexary connectives in Mizar. Zbl 1387.68207
Korniłowicz, Artur
9
2015
Definitional expansions in Mizar. In memoriam of Andrzej Trybulec, a pioneer of computerized formalization. Zbl 1356.68192
Korniłowicz, Artur
5
2015
Characteristic of rings. Prime fields. Zbl 1334.13003
Schwarzweller, Christoph; Korniłowicz, Artur
3
2015
The first isomorphism theorem and other properties of rings. Zbl 1316.13003
Korniłowicz, Artur; Schwarzweller, Christoph
6
2014
Pseudo-canonical formulae are classical. Zbl 1352.03013
Caminati, Marco B.; Korniłowicz, Artur
1
2014
On rewriting rules in Mizar. Zbl 1260.68376
Korniłowicz, Artur
17
2013
Commutativeness of fundamental groups of topological groups. Zbl 1298.55008
Korniłowicz, Artur
6
2013
Tentative experiments with ellipsis in Mizar. Zbl 1360.68755
Korniłowicz, Artur
7
2012
Fundamental group of \(n\)-sphere for \(n \geq 2\). Zbl 1276.57004
Riccardi, Marco; Korniłowicz, Artur
2
2012
Riemann integral of functions from \(\mathbb R\) into \(n\)-dimensional real normed space. Zbl 1276.26026
Miyajima, Keiichi; Korniłowicz, Artur; Shidama, Yasunari
2
2012
The Borsuk-Ulam theorem. Zbl 1452.55002
Korniłowicz, Artur; Riccardi, Marco
1
2012
Contracting mapping on normed linear space. Zbl 1446.47034
Miyajima, Keiichi; Korniłowicz, Artur; Shidama, Yasunari
1
2012
Products in categories without uniqueness of cod and dom. Zbl 1301.18007
Korniłowicz, Artur
1
2012
The differentiable functions from \(\mathbb R\) into \(\mathcal R^n\). Zbl 1276.26034
Narita, Keiko; Korniłowicz, Artur; Shidama, Yasunari
1
2012
More on the continuity of real functions. Zbl 1276.26006
Narita, Keiko; Kornilowicz, Artur; Shidama, Yasunari
4
2011
Mizar in a nutshell. Zbl 1211.68369
Grabowski, Adam; Kornilowicz, Artur; Naumowicz, Adam
54
2010
A brief overview of Mizar. Zbl 1252.68262
Naumowicz, Adam; Korniłowicz, Artur
27
2009
A SAT based approach for solving formulas over Boolean and linear mathematical propositions. Zbl 1072.68562
Audemard, Gilles; Bertoli, Piergiorgio; Cimatti, Alessandro; Korniłowicz, Artur; Sebastiani, Roberto
16
2002
Bounded model checking for timed systems. Zbl 1037.68549
Audemard, G.; Cimatti, A.; Kornilowicz, A.; Sebastiani, R.
14
2002
Integrating Boolean and mathematical solving: Foundations, basic algorithms, and requirements. Zbl 1072.68603
Audemard, Gilles; Bertoli, Piergiorgio; Cimatti, Alessandro; Korniłowicz, Artur; Sebastiani, Roberto
1
2002
all top 5

Cited by 208 Authors

33 Korniłowicz, Artur
31 Shidama, Yasunari
25 Grabowski, Adam
22 Pąk, Karol
21 Coghetto, Roland
20 Nakasho, Kazuhisa
18 Koch, Sebastian
15 Okazaki, Hiroyuki
14 Kaliszyk, Cezary
13 Schwarzweller, Christoph
12 Endou, Noboru
12 Urban, Josef
11 Futa, Yuichi
10 Naumowicz, Adam
8 Ivanov, Ievgen
8 Nikitchenko, Mykola S.
8 Yamazaki, Hiroshi
7 Watase, Yasushige
6 Narita, Keiko
6 Ziobro, Rafał
5 Alama, Jesse
4 Mitsuishi, Takashi
4 Miyajima, Keiichi
4 Popescu, Andrei
4 Strichman, Ofer
3 Bancerek, Grzegorz
3 Brown, Chad Edward
3 Byliński, Czesław
3 Cimatti, Alessandro
3 Griggio, Alberto
3 Jaeger, Peter
3 Jakubův, Jan
3 Kohlhase, Michael
3 Kunčar, Ondřej
3 Rabe, Florian
3 Rowinska-Schwarzweller, Agnieszka
3 Sebastiani, Roberto
2 Acewicz, Marcin
2 Anai, Hirokazu
2 Arai, Noriko H.
2 Badban, Bahareh
2 Boldo, Sylvie
2 Fukasaku, Ryoya
2 Iancu, Mihnea
2 Iwane, Hidenao
2 Jaszczak, Adrian
2 Kahl, Wolfram
2 Kobayashi, Munehiro
2 Kröning, Daniel
2 Kudo, Jumma
2 Kühlwein, Daniel
2 Lelay, Catherine
2 Maletzky, Alexander
2 Matsuzaki, Takuya
2 Matuszewski, Roman
2 Melquiond, Guillaume
2 Nipkow, Tobias
2 Paulson, Lawrence Charles
2 Rawson, Michael
2 Reger, Giles
2 Rintanen, Jussi
2 Sawicki, Damian
2 Suda, Martin
2 Vyskočil, Jiří
2 Wasaki, Katsumi
2 Zhan, Bohua
2 Zhan, Yiyang
1 Ábrahám, Erika
1 Abraham, Uri
1 Adachi, Ryota
1 Affeldt, Reynald
1 Amjad, Hasan
1 Arai, Kenichi
1 Armando, Alessandro
1 Aspinall, David
1 Avelar, Andréia Borges
1 Ayala-Rincón, Mauricio
1 Barrett, Clark W.
1 Bauereiß, Thomas
1 Becker, Bernd
1 Bersani, Marcello Maria
1 Blanchette, Jasmin Christian
1 Bouyer, Patricia
1 Bozzano, Marco
1 Bringsjord, Selmer
1 Bruttomesso, Roberto
1 Bu, Lei
1 Caminati, Marco Bright
1 Castellini, Claudio
1 Chen, Xiaoyu
1 Chihani, Zakaria
1 Chojecki, Przemyslaw
1 Chvalovský, Karel
1 Cohen, Cyril
1 Czajka, Łukasz
1 de Lima, Thaynara Arielly
1 Déharbe, David
1 Derakhshan, Farzaneh
1 Dunne, Ciarán
1 Färber, Michael
...and 108 more Authors

Citations by Year