Navigational mathematics