Description: An algorithm for obtaining an exact solution for the three dimensional location of a mobile given the locations of four fixed stations (like a GPS satellite or a base station in a cell) and the signal time of arrival (TOA) from the mobile to each station. From Ralph Bucher.