Kleene Algebra of Partial Predicates
Korniłowicz, Artur, Ivanov, Ievgen, Nikitchenko, Mykola
On an Algorithmic Algebra over Simple-Named Complex-Valued Nominative Data
Ivanov, Ievgen, Korniłowicz, Artur, Nikitchenko, Mykola
Basel Problem
Pąk, Karol, Korniłowicz, Artur
Simple-Named Complex-Valued Nominative Data – Definition and Basic Operations
Ivanov, Ievgen, Nikitchenko, Mykola, Kryvolap, Andrii, Korniłowicz, Artur
Introduction to Liouville Numbers
Grabowski, Adam, Korniłowicz, Artur
Partial Correctness of a Fibonacci Algorithm
Korniłowicz, Artur
Simple Continued Fractions and Their Convergents
Li, Bo, Zhang, Yan, Korniłowicz, Artur
Elementary Number Theory Problems. Part II
Korniłowicz, Artur, Surowik, Dariusz
Elementary Number Theory Problems. Part IV
Korniłowicz, Artur
More on the Continuity of Real Functions
Narita, Keiko, Kornilowicz, Artur, Shidama, Yasunari
Characteristic of Rings. Prime Fields
Schwarzweller, Christoph, Korniłowicz, Artur
Collective Operations on Number-Membered Sets
Korniłowicz, Artur