Mazur-Ulam Theorem
Korniłowicz, Artur
Characteristic of Rings. Prime Fields
Schwarzweller, Christoph, Korniłowicz, Artur
The Differentiable Functions from R into Rn
Narita, Keiko, Korniłowicz, Artur, Shidama, Yasunari
Differentiability of Polynomials over Reals
Korniłowicz, Artur
Cayley's Theorem
Korniłowicz, Artur
An Inference System of an Extension of Floyd-Hoare Logic for Partial Predicates
Ivanov, Ievgen, Korniłowicz, Artur, Nikitchenko, Mykola
Cayley-Dickson Construction
Korniłowicz, Artur
The Correspondence Between n-dimensional Euclidean Space and the Product of n Real Lines
Korniłowicz, Artur
Basic Operations on Preordered Coherent Spaces
Grue, Klaus, Korniłowicz, Artur
Commutativeness of Fundamental Groups of Topological Groups
Korniłowicz, Artur
Kleene Algebra of Partial Predicates
Korniłowicz, Artur, Ivanov, Ievgen, Nikitchenko, Mykola
Miscellaneous Facts about Open Functions and Continuous Functions
Korniłowicz, Artur