Adam Grabowski

84 papers B 2C 6Journal 51Unranked 25
YearRankTypeTitle / Venue / Authors
2025 J jnl
Elementary Number Theory Problems. Part XVIII.
Formaliz. Math.
Adam Grabowski
2025 — conf
Encoding Triangular Norms on Bounded Trellises with Mizar Proof Assistant.
FUZZ
Adam Grabowski
2024 J jnl
Formalization of Trellises and Tolerance Relations.
Formaliz. Math.
Adam Grabowski, Franciszek Turowski
2023 — conf
Computer-Supported Encoding of Fuzzy Negations and Laws of Contraposition.
FUZZ
Adam Grabowski
2023 J jnl
Elementary Number Theory Problems. Part XII - Primes in Arithmetic Progression.
Formaliz. Math.
Adam Grabowski
2023 J jnl
FastSample: Accelerating Distributed Graph Neural Network Training for Billion-Scale Graphs.
CoRR
Hesham Mostafa, Adam Grabowski, Md Asadullah Turja, Juan Cerviño, Alejandro Ribeiro, Nageen Himayat
2023 B conf
Implementing More Explicit Definitional Expansions in Mizar (Short Paper).
ITP
Adam Grabowski, Artur Kornilowicz
2023 J jnl
On Fuzzy Negations and Laws of Contraposition. Lattice of Fuzzy Negations.
Formaliz. Math.
Adam Grabowski
2023 J jnl
Tarski Geometry Axioms. Part V - Half-planes and Planes.
Formaliz. Math.
Roland Coghetto, Adam Grabowski
2022 J jnl
Elementary Number Theory Problems. Part VI.
Formaliz. Math.
Adam Grabowski
2021 J jnl
Automated Comparative Study of Some Generalized Rough Approximations.
Fundam. Informaticae
Adam Grabowski
2021 J jnl
Automatization of Ternary Boolean Algebras.
Formaliz. Math.
Wojciech Kusmierowski, Adam Grabowski
2021 B conf
Fuzzy Implications in the Mizar System.
FUZZ-IEEE
Adam Grabowski
2021 J jnl
On Weakly Associative Lattices and Near Lattices.
Formaliz. Math.
Damian Sawicki, Adam Grabowski
2020 J jnl
Developing Complementary Rough Inclusion Functions.
Formaliz. Math.
Adam Grabowski
2020 J jnl
Formalization of Quasilattices.
Formaliz. Math.
Dominik Kulesza, Adam Grabowski
2020 J jnl
On Fuzzy Negations Generated by Fuzzy Implications.
Formaliz. Math.
Adam Grabowski
2019 — conf
Building a Framework of Rough Inclusion Functions by Means of Computerized Proof Assistant.
IJCRS
Adam Grabowski
2019 — conf
Constructing Examples of Fuzzy Implications within the Mizar Mathematical Library.
CICM Workshops
Adam Grabowski
2019 J jnl
Formal Development of Rough Inclusion Functions.
Formaliz. Math.
Adam Grabowski
2019 — conf
RIFs as the Formal Tool of Measuring Similarity between Sets (short paper).
CS&P
Adam Grabowski
2019 J jnl
Tarski Geometry Axioms. Part IV - Right Angle.
Formaliz. Math.
Roland Coghetto, Adam Grabowski
2018 — conf
Automated Comparative Study of Some Generalized Rough Approximations.
CS&P
Adam Grabowski
2018 J jnl
Formalizing Two Generalized Approximation Operators.
Formaliz. Math.
Adam Grabowski, Michal Sielwiesiuk
2018 J jnl
Fundamental Properties of Fuzzy Implications.
Formaliz. Math.
Adam Grabowski
2018 J jnl
On Two Alternative Axiomatizations of Lattices by McKenzie and Sholander.
Formaliz. Math.
Adam Grabowski, Damian Sawicki
2018 J jnl
Sequences of Prime Reciprocals. Preliminaries.
Formaliz. Math.
Adam Grabowski
2018 J jnl
The Role of the Mizar Mathematical Library for Interactive Proof Development in Mizar.
J. Autom. Reason.
Grzegorz Bancerek, Czeslaw Bylinski, Adam Grabowski, Artur Kornilowicz, Roman Matuszewski, Adam Naumowicz, Karol Pak
2017 J jnl
All Liouville Numbers are Transcendental.
Formaliz. Math.
Artur Kornilowicz, Adam Naumowicz, Adam Grabowski
2017 J jnl
Basic Formal Properties of Triangular Norms and Conorms.
Formaliz. Math.
Adam Grabowski
2017 — conf
Computer Certification of Generalized Rough Sets Based on Relations.
IJCRS (1)
Adam Grabowski
2017 — conf
Expressing the Notion of a Mathematical Structure in the Formal Language of Mizar.
ICMMI
Adam Grabowski
2017 — conf
Extending Formal Fuzzy Sets with Triangular Norms and Conorms.
EUSFLAT/IWIFSGN (2)
Adam Grabowski, Takashi Mitsuishi
2017 J jnl
Formal Introduction to Fuzzy Implications.
Formaliz. Math.
Adam Grabowski
2017 J jnl
Introduction to Liouville Numbers.
Formaliz. Math.
Adam Grabowski, Artur Kornilowicz
2017 J jnl
Tarski Geometry Axioms. Part III.
Formaliz. Math.
Roland Coghetto, Adam Grabowski
2017 — conf
Topological structures as a tool for formal modelling of rough sets.
FedCSIS (Position Papers)
Adam Grabowski, Roland Coghetto
2016 J jnl
Binary Relations-based Rough Sets - an Automated Approach.
Formaliz. Math.
Adam Grabowski
2016 J jnl
Lattice Theory for Rough Sets - A Case Study with Mizar.
Fundam. Informaticae
Adam Grabowski
2016 C conf
On algebraic hierarchies in mathematical repository of Mizar.
FedCSIS
Adam Grabowski, Artur Kornilowicz, Christoph Schwarzweller
2016 J jnl
Tarski Geometry Axioms - Part II.
Formaliz. Math.
Roland Coghetto, Adam Grabowski
2016 — conf
Tarski's Geometry and the Euclidean Plane in Mizar.
FM4M/MathUI/ThEdu/DP/WIP@CIKM
Adam Grabowski, Roland Coghetto
2016 C conf
Tarski's geometry modelled in Mizar computerized proof assistant.
FedCSIS
Adam Grabowski
2015 C conf
Equality in computer proof-assistants.
FedCSIS
Adam Grabowski, Artur Kornilowicz, Christoph Schwarzweller
2015 — conf
Formalizing Lattice-Theoretical Aspects of Rough and Fuzzy Sets.
RSKT
Adam Grabowski, Takashi Mitsuishi
2015 J jnl
Four Decades of Mizar - Foreword.
J. Autom. Reason.
Adam Grabowski, Artur Kornilowicz, Adam Naumowicz
2015 — conf
Initial Comparison of Formal Approaches to Fuzzy and Rough Sets.
ICAISC (1)
Adam Grabowski, Takashi Mitsuishi
2015 — conf
Lattice Theory for Rough Sets - An Experiment in Mizar.
CS&P
Adam Grabowski
2015 J jnl
Mechanizing Complemented Lattices Within Mizar Type System.
J. Autom. Reason.
Adam Grabowski
2015 C conf
Mizar: State-of-the-art and Beyond.
CICM
Grzegorz Bancerek, Czeslaw Bylinski, Adam Grabowski, Artur Kornilowicz, Roman Matuszewski, Adam Naumowicz, Karol Pak, Josef Urban
2015 J jnl
Stone Lattices.
Formaliz. Math.
Adam Grabowski
2015 J jnl
Two Axiomatizations of Nelson Algebras.
Formaliz. Math.
Adam Grabowski
2014 J jnl
Cauchy Mean Theorem.
Formaliz. Math.
Adam Grabowski
2014 J jnl
Definition of Flat Poset and Existence Theorems for Recursive Call.
Formaliz. Math.
Kazuhisa Ishida, Yasunari Shidama, Adam Grabowski
2014 J jnl
Efficient Rough Set Theory Merging.
Fundam. Informaticae
Adam Grabowski
2014 J jnl
Formalization of Generalized Almost Distributive Lattices.
Formaliz. Math.
Adam Grabowski
2014 J jnl
Preface.
Formaliz. Math.
Adam Grabowski, Yasunari Shidama
2014 J jnl
Tarski Geometry Axioms.
Formaliz. Math.
William Richter, Adam Grabowski, Jesse Alama
2014 J jnl
The Formal Construction of Fuzzy Numbers.
Formaliz. Math.
Adam Grabowski
2014 J jnl
Topological Interpretation of Rough Sets.
Formaliz. Math.
Adam Grabowski
2013 J jnl
Automated Discovery of Properties of Rough Sets.
Fundam. Informaticae
Adam Grabowski
2013 — conf
Efficient Rough Set Theory Merging.
CS&P
Adam Grabowski
2013 J jnl
Introduction to Formal Preference Spaces.
Formaliz. Math.
Eliza Niewiadomska, Adam Grabowski
2013 J jnl
On Square-Free Numbers.
Formaliz. Math.
Adam Grabowski
2013 C conf
On the computer certification of fuzzy numbers.
FedCSIS
Adam Grabowski
2013 J jnl
Polygonal Numbers.
Formaliz. Math.
Adam Grabowski
2013 J jnl
Prime Filters and Ideals in Distributive Lattices.
Formaliz. Math.
Adam Grabowski
2013 J jnl
Relational Formal Characterization of Rough Sets.
Formaliz. Math.
Adam Grabowski
2012 — conf
Computer-Driven Searching for Axiomatization of Rough Sets.
CS&P
Adam Grabowski
2012 C conf
Towards Automatically Categorizing Mathematical Knowledge.
FedCSIS
Adam Grabowski, Christoph Schwarzweller
2010 — conf
A Note on a Formal Approach to Rough Operators.
RSCTC
Adam Grabowski, Magdalena Jastrzebska
2010 J jnl
Mizar in a Nutshell.
J. Formaliz. Reason.
Adam Grabowski, Artur Kornilowicz, Adam Naumowicz
2010 J jnl
On Duplication in Mathematical Repositories
CoRR
Adam Grabowski, Christoph Schwarzweller
2010 — conf
On Duplication in Mathematical Repositories.
AISC/MKM/Calculemus
Adam Grabowski, Christoph Schwarzweller
2009 J jnl
On the Lattice of Intervals and Rough Sets.
Formaliz. Math.
Adam Grabowski, Magdalena Jastrzebska
2008 J jnl
Orthomodular Lattices.
Formaliz. Math.
Elzbieta Madra, Adam Grabowski
2007 — conf
Revisions as an Essential Tool to Maintain Mathematical Repositories.
Calculemus/MKM
Adam Grabowski, Christoph Schwarzweller
2007 — conf
Rough Set Theory from a Math-Assistant Perspective.
RSEISP
Adam Grabowski, Magdalena Jastrzebska
2005 — conf
Translating Mathematical Vernacular into Knowledge Repositories.
MKM
Adam Grabowski, Christoph Schwarzweller
2004 — conf
Managing Heterogeneous Theories within a Mathematical Knowledge Repository.
MKM
Adam Grabowski, Markus Moschner
2004 — conf
On the Computer-Assisted Reasoning about Rough Sets.
MSRAS
Adam Grabowski
2004 — conf
Rough Concept Analysis - Theory Development in the Mizar System.
MKM
Adam Grabowski, Christoph Schwarzweller
2004 — conf
Solving Two Problems in General Topology Via Types.
TYPES
Adam Grabowski
1999 J jnl
Lattice of Substitutions.
Reports Math. Log.
Adam Grabowski