Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: intervals

Sortuj według:

Ogranicz wyniki do:

Chebyshev Distance

100%

Coghetto R.

Formalized Mathematics

2016

tom 24

nr 2

121-141

In [21], Marco Riccardi formalized that ℝN-basis n is a basis (in the algebraic sense defined in [26]) of [...] ℰTn ${\cal E}_T^n $ and in [20] he has formalized that [...] ℰTn ${\cal E}_T^n $ is second-countable, we build (in the topological sense defined in [23]) a denumerable base of [...] ℰTn ${\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].

Ograniczanie wyników

1 Formalized Mathematics

1 Coghetto R.

1 2016

Wyniki wyszukiwania

Chebyshev Distance