Tarski Geometry Axioms. Part IV – Right Angle
Coghetto, Roland, Grabowski, Adam
Formalization of Quasilattices
Kulesza, Dominik, Grabowski, Adam
On the Permanent of a Matrix
Romanowicz, Ewa, Grabowski, Adam
Polygonal Numbers
Grabowski, Adam
On Square-Free Numbers
Grabowski, Adam
Definition of Flat Poset and Existence Theorems for Recursive Call
Ishida, Kazuhisa, Shidama, Yasunari, Grabowski, Adam
Formalization of Generalized Almost Distributive Lattices
Grabowski, Adam
Binary Relations-based Rough Sets – an Automated Approach
Grabowski, Adam
Introduction to Liouville Numbers
Grabowski, Adam, Korniłowicz, Artur
All Liouville Numbers are Transcendental
Korniłowicz, Artur, Naumowicz, Adam, Grabowski, Adam
Basic Formal Properties of Triangular Norms and Conorms
Grabowski, Adam
Formalizing Two Generalized Approximation Operators
Grabowski, Adam, Sielwiesiuk, Michał