Concepedia

Adam Grabowski

AG

Statistics

Publications

20

Citations

840

H-Index

14

Active since

1996

Affiliations

University of Białystok(Current)

University of Gdańsk

Institute of Informatics of the Slovak Academy of Sciences

Adam Grabowski is an author at University of Białystok specializing in mathematics, computer science, and computing.

ORCID

Publications per year

1996–2017

20

Publications

20

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

Influence of lead on N03 uptake and reduction in cucumber seedlings

Marek Burzyński, Adam Grabowski · Acta Societatis Botanicorum Poloniae · 2014 · 42 citations · Full text

, , +17

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

1–5 of 20