Muere Gladys West a los 95 años: ¿quién era la matemática que fue clave en el desarrollo del GPS?