arXiv subjects

Anton Cedilnik

Publications and source records attributed to Anton Cedilnik.

1 recordsLinked to original sources

arXiv2023

We considerably shorten axiom systems for Metric space Real normed space Euclidean space Algebra with scalar involution

math.RA↗