Elementary Number Theory Problems. Part XII – Primes in Arithmetic Progression
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
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
Formal Introduction to Fuzzy Implications
Grabowski, Adam
On Two Alternative Axiomatizations of Lattices by McKenzie and Sholander
Grabowski, Adam, Sawicki, Damian
Formal Development of Rough Inclusion Functions
Grabowski, Adam
Developing Complementary Rough Inclusion Functions
Grabowski, Adam
Formalization of Quasilattices
Kulesza, Dominik, Grabowski, Adam