publication . Article . 2016

Chebyshev Distance

Roland Coghetto;
Open Access English
  • Published: 01 Jun 2016 Journal: Formalized Mathematics (issn: 1426-2630, eissn: 1898-9934, Copyright policy)
  • Publisher: Sciendo
Abstract
<jats:title>Summary</jats:title> <jats:p>In [21], Marco Riccardi formalized that ℝN-basis <jats:italic>n</jats:italic> is a basis (in the algebraic sense defined in [26]) of <jats:inline-formula> <jats:alternatives> <jats:inline-graphic xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="graphic/j_forma-2016-0010_eq_001.png" /> <jats:tex-math>${\cal E}_T^n $</jats:tex-math> </jats:alternatives> </jats:inline-formula> and in [20] he has formalized that <jats:inline-formula> <jats:alternatives> <jats:inline-graphic xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="graphic/j_forma-2016-0010_eq_001.png" /> <jats:tex-math>${\cal E}_T^n $</jats:tex-math> </jat...
Subjects
ACM Computing Classification System: ComputingMethodologies_DOCUMENTANDTEXTPROCESSING
free text keywords: second-countable, intervals, Chebyshev distance, 54E35, 03B35, Mathematics, QA1-939
Any information missing or wrong?Report an Issue