Definition:Euclidean Plus Metric/Linguistic Note

From ProofWiki
Jump to navigation Jump to search

Linguistic Note on Euclidean Plus Metric

The Euclidean plus metric appears not to be allocated a specific name in the literature.

The name Euclidean plus metric has been coined for $\mathsf{Pr} \infty \mathsf{fWiki}$ in order to allow it to be referred to compactly.