Karol Pąk (2009)
Formalized Mathematics
Similarity:
We present the concept and basic properties of the Menger-Urysohn small inductive dimension of topological spaces according to the books [7]. Namely, the paper includes the formalization of main theorems from Sections 1.1 and 1.2.
Duda, R.
Similarity:
Karol Pąk (2009)
Formalized Mathematics
Similarity:
In this paper we present basic properties of n-dimensional topological spaces according to the book [10]. In the article the formalization of Section 1.5 is completed.
Jerzy Krzempek (2010)
Czechoslovak Mathematical Journal
Similarity:
David W. Henderson (1968)
Fundamenta Mathematicae
Similarity:
P. Borst, Jan Dijkstra (1985)
Fundamenta Mathematicae
Similarity:
Regino Criado Herrero, Juan Tarrés Freixenet (1987)
Extracta Mathematicae
Similarity: