Concepedia

Artur Korniłowicz

AK

Statistics

Publications

16

Citations

744

H-Index

13

Active since

2002

Affiliations

University of Białystok(Current)

Taras Shevchenko National University of Kyiv

University of Gdańsk

Artur Korniłowicz is an author at University of Białystok specializing in computer science, mathematics, and computing.

ORCID

Publications per year

2002–2018

16

Publications

16

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

Grzegorz Bancerek, Czesław Byliński, Adam Grabowski et al. · Journal of Automated Reasoning · 2017 · 203 citations · Full text

, , +17

Mizar in a Nutshell

Adam Grabowski, Artur Korniłowicz, Adam Naumowicz · DOAJ (DOAJ: Directory of Open Access Journals) · 2010 · 145 citations · Full text

, , +8

Four Decades of Mizar

Adam Grabowski, Artur Korniłowicz, Adam Naumowicz · Journal of Automated Reasoning · 2015 · 131 citations · Full text

, , +14

On algebraic hierarchies in mathematical repository of Mizar

Adam Grabowski, Artur Korniłowicz, Christoph Schwarzweller · Annals of Computer Science and Information Systems · 2016 · 42 citations · Full text

, , +11

On Rewriting Rules in Mizar

Artur Korniłowicz · Journal of Automated Reasoning · 2012 · 37 citations · Full text

, , +11

1–5 of 16