On uniform Dini derivatives
N. C. Manna (1970)
Colloquium Mathematicae
Similarity:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
N. C. Manna (1970)
Colloquium Mathematicae
Similarity:
Vilímovský, J.
Similarity:
E. Pap (1976)
Matematički Vesnik
Similarity:
J. Vilímovský (1987)
Fundamenta Mathematicae
Similarity:
Don A. Mattson (1977)
Colloquium Mathematicae
Similarity:
Michael David Rice (1977)
Czechoslovak Mathematical Journal
Similarity:
Roland Coghetto (2016)
Formalized Mathematics
Similarity:
In this article, we formalize in Mizar [1] the notion of uniform space introduced by André Weil using the concepts of entourages [2]. We present some results between uniform space and pseudo metric space. We introduce the concepts of left-uniformity and right-uniformity of a topological group. Next, we define the concept of the partition topology. Following the Vlach’s works [11, 10], we define the semi-uniform space induced by a tolerance and the uniform space induced by an equivalence...