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.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
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...