Follow
Adam Grabowski
Adam Grabowski
Institute of Computer Science, University of Bialystok, Poland
Verified email at math.uwb.edu.pl - Homepage
Title
Cited by
Cited by
Year
Mizar: State-of-the-art and Beyond
G Bancerek, C Byliński, A Grabowski, A Korniłowicz, R Matuszewski, ...
Intelligent Computer Mathematics, 261-279, 2015
2682015
Mizar in a Nutshell
A Grabowski, A Kornilowicz, A Naumowicz
Journal of Formalized Reasoning 3 (2), 153-245, 2010
2202010
The Role of the Mizar Mathematical Library for Interactive Proof Development in Mizar
G Bancerek, C Byliński, A Grabowski, A Korniłowicz, R Matuszewski, ...
Journal of Automated Reasoning, 1-24, 2018
2032018
Four Decades of Mizar
A Grabowski, A Korniłowicz, A Naumowicz
Journal of Automated Reasoning 55 (3), 191-198, 2015
1312015
Boolean posets, posets under inclusion and products of relational structures
A Grabowski, R Milewski
Formalized Mathematics 6 (1), 117-121, 1997
621997
On the category of posets
A Grabowski
Formalized Mathematics 5 (4), 501-505, 1996
381996
On algebraic hierarchies in mathematical repository of Mizar
A Grabowski, A Korniłowicz, C Schwarzweller
2016 Federated Conference on Computer Science and Information Systems …, 2016
372016
Mechanizing Complemented Lattices Within Mizar Type System
A Grabowski
Journal of Automated Reasoning 55 (3), 211-221, 2015
352015
Efficient Rough Set Theory Merging
A Grabowski
Proceedings of CS&P 2013, http://ceur-ws.org/Vol-10, 2013
302013
Revisions as an essential tool to maintain mathematical repositories
A Grabowski, C Schwarzweller
Towards Mechanized Mathematical Assistants: 14th Symposium, Calculemus 2007 …, 2007
302007
Basic properties of rough sets and rough membership function
A Grabowski
Formalized Mathematics 12 (1), 21-28, 2004
302004
Automated discovery of properties of rough sets
A Grabowski
Fundamenta Informaticae 128 (1-2), 65-79, 2013
272013
On duplication in mathematical repositories
A Grabowski, C Schwarzweller
Intelligent Computer Mathematics, 300-314, 2010
272010
Robbins algebras vs. Boolean algebras
A Grabowski
Formalized Mathematics 9 (4), 681-690, 2001
242001
Equality in Computer Proof-Assistants
A Grabowski, A Kornilowicz, C Schwarzweller
232015
Introduction to the homotopy theory
A Grabowski
Formalized Mathematics 6 (4), 449-454, 1997
221997
Translating mathematical vernacular into knowledge repositories
A Grabowski, C Schwarzweller
Mathematical Knowledge Management, 49-64, 2006
212006
On the computer-assisted reasoning about rough sets
A Grabowski
Monitoring, security, and rescue techniques in multiagent systems, 215-226, 2005
212005
Lattice Theory for Rough Sets–A Case Study with Mizar
A Grabowski
Fundamenta Informaticae 147 (2-3), 223-240, 2016
202016
On the computer certification of fuzzy numbers
A Grabowski
2013 Federated Conference on Computer Science and Information Systems, 51-54, 2013
182013
The system can't perform the operation now. Try again later.
Articles 1–20