
handle: 11320/5497
Summary In [21], Marco Riccardi formalized that ℝN-basis n is a basis (in the algebraic sense defined in [26]) of ℰ T n ${\cal E}_T^n $ and in [20] he has formalized that ℰ T n ${\cal E}_T^n $ is second-countable, we build (in the topological sense defined in [23]) a denumerable base of ℰ T n ${\cal E}_T^n $ . Then we introduce the n-dimensional intervals (interval in n-dimensional Euclidean space, pavé (borné) de ℝ n [16], semi-intervalle (borné) de ℝ n [22]). We conclude with the definition of Chebyshev distance [11].
Mechanization of proofs and logical operations, Chebyshev distance, Metric spaces, metrizability, intervals, second-countable, 510
Mechanization of proofs and logical operations, Chebyshev distance, Metric spaces, metrizability, intervals, second-countable, 510
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 34 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Top 10% | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Top 10% | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
