Tabulating the heavens: computing the Nautical Almanac in 18th-century England | IEEE Journals & Magazine | IEEE Xplore