Pioneering mathematician whose foundational orbital modeling and geodetic algorithms enabled the mathematical framework for the Global Positioning System (GPS). She was inducted into the United States Air Force Hall of Fame in 2018.