Distances on the tropical line determined by two points

From MaRDI portal
Publication:2925642