Mathematician whose work at the US Naval Weapons Laboratory was pivotal to the development of GPS ...