As a Navy mathematician in the 1950s and beyond, she played an unheralded but foundational role in making possible the global satellite-based mapping system.