Edit Profile (opens in new tab) Korniłowicz, Artur Co-Author Distance Author ID: kornilowicz.artur Published as: Korniłowicz, Artur; Kornilowicz, Artur; Kornilowicz, A. more...less External Links: MGP · ORCID Documents Indexed: 50 Publications since 2002 1 Contribution as Editor Co-Authors: 27 Co-Authors with 37 Joint Publications 332 Co-Co-Authors all top 5 Co-Authors 14 single-authored 8 Naumowicz, Adam 7 Ivanov, Ievgen 7 Nikitchenko, Mykola S. 6 Grabowski, Adam 5 Pąk, Karol 4 Shidama, Yasunari 3 Audemard, Gilles 3 Bancerek, Grzegorz 3 Byliński, Czesław 3 Cimatti, Alessandro 3 Schwarzweller, Christoph 3 Sebastiani, Roberto 2 Bertoli, Piergiorgio 2 Matuszewski, Roman 2 Miyajima, Keiichi 2 Narita, Keiko 2 Riccardi, Marco 1 Caminati, Marco Bright 1 Goliński, Maciej 1 Jaszczak, Adrian 1 Kobayashi, Hidetsune 1 Kryvolap, Andrii 1 Rabe, Florian 1 Rothgang, Colin 1 Rowinska-Schwarzweller, Agnieszka 1 Surowik, Dariusz 1 Urban, Josef Serials 35 Formalized Mathematics 4 Journal of Automated Reasoning 1 Computer Science Journal of Moldova 1 Computer Languages, Systems & Structures 1 Journal of Formalized Reasoning all top 5 Fields 28 Computer science (68-XX) 23 Mathematical logic and foundations (03-XX) 9 Number theory (11-XX) 5 Field theory and polynomials (12-XX) 4 Real functions (26-XX) 2 Commutative algebra (13-XX) 2 Category theory; homological algebra (18-XX) 2 Sequences, series, summability (40-XX) 2 Algebraic topology (55-XX) 1 General and overarching topics; collections (00-XX) 1 Nonassociative rings and algebras (17-XX) 1 Group theory and generalizations (20-XX) 1 Functional analysis (46-XX) 1 Operator theory (47-XX) 1 Manifolds and cell complexes (57-XX) 1 Systems theory; control (93-XX) Publications by Year all cited Publications top 5 cited Publications 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 cited Publications top 5 cited Publications 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 all top 5 Cited in 18 Serials 166 Formalized Mathematics 29 Journal of Automated Reasoning 5 Formal Methods in System Design 3 Journal of Symbolic Computation 3 Information and Computation 3 Mathematics in Computer Science 2 Artificial Intelligence 2 Formal Aspects of Computing 2 Fundamenta Informaticae 1 Acta Informatica 1 Synthese 1 Science of Computer Programming 1 AI Communications 1 MSCS. Mathematical Structures in Computer Science 1 Computer Science Journal of Moldova 1 Computer Languages, Systems & Structures 1 Journal of Applied Logic 1 Journal of Logical and Algebraic Methods in Programming all top 5 Cited in 34 Fields 201 Computer science (68-XX) 124 Mathematical logic and foundations (03-XX) 26 Number theory (11-XX) 16 Combinatorics (05-XX) 16 Real functions (26-XX) 15 Field theory and polynomials (12-XX) 15 Commutative algebra (13-XX) 14 Geometry (51-XX) 10 Operator theory (47-XX) 9 Order, lattices, ordered algebraic structures (06-XX) 9 Group theory and generalizations (20-XX) 8 Linear and multilinear algebra; matrix theory (15-XX) 8 General topology (54-XX) 7 Functional analysis (46-XX) 6 General and overarching topics; collections (00-XX) 5 Measure and integration (28-XX) 5 Sequences, series, summability (40-XX) 4 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 4 Mathematics education (97-XX) 3 Algebraic geometry (14-XX) 3 Algebraic topology (55-XX) 3 Systems theory; control (93-XX) 3 Information and communication theory, circuits (94-XX) 2 Associative rings and algebras (16-XX) 2 Category theory; homological algebra (18-XX) 2 Probability theory and stochastic processes (60-XX) 2 Operations research, mathematical programming (90-XX) 1 History and biography (01-XX) 1 General algebraic systems (08-XX) 1 Topological groups, Lie groups (22-XX) 1 Ordinary differential equations (34-XX) 1 Partial differential equations (35-XX) 1 Numerical analysis (65-XX) 1 Relativity and gravitational theory (83-XX) Citations by Year