On sound ranging in proper metric spaces

Abstract

We consider the sound ranging, or source localization, problem -- find the source-point from the moments when the wave-sphere of linearly, with time, increasing radius reaches the sensor-points -- in proper metric spaces (any closed ball is compact) and, in particular, in the finite-dimensional normed spaces. We approximate the solution to arbitrary precision by the iterative process with the stopping criterion. Implementation of the proposed method in Julia language is included.