A method for determining navigation satellite corrections for a plurality of satellites, to facilitate navigation by navigation receivers that receive satellite navigation signals from various subsets of the plurality of satellites, the method comprising: receiving reference receiver measurement information, including receiving, from a plurality of reference receivers at established locations, measurements of satellite navigation signals received by each of the reference receivers, wherein the satellite navigation signals received by each reference receiver of the plurality of reference receivers include satellite navigation signals at first and second frequencies; in accordance with the received reference receiver measurement information, and in accordance with the established locations of the plurality of reference receivers, determining initial wide-lane navigation solutions for the plurality of reference receivers, the initial wide-lane navigation solutions including double-difference wide-lane fixed integer ambiguity values and single-difference wide-lane floating ambiguities(404,406); in accordance with the initial wide-lane navigation solutions, for a constellation of n satellites in the plurality of satellites, determining m clusters of single-difference wide-lane floating ambiguities, where m is an integer greater than one, and determining a satellite wide-lane bias value, b WL s, for each satellite s of the n satellites, in accordance with fractional portions of the SD wide-lane floating ambiguities in the m clusters; in accordance with the determined satellite wide-lane bias value, b WL s, for each satellite s of the n satellites, generating wide-lane navigation solutions for the plurality of reference receivers, including SD wide-lane fixed integer ambiguity values for the plurality of reference receivers; wherein generating a satellite wide-lane bias value, b WL s, for a respective satellite includes determining whether the satellite wide-lane bias value is outside a predefined range, and in accordance with a determination that the satellite wide-lane bias value is outside a predefined range, adjusting the satellite wide-lane bias value by a predefined number of wide-lane cycles, and adjusting corresponding SD wide-lane ambiguity values by the predefined number of wide-lane cycles; and generating a set of navigation satellite corrections for each satellite of the n satellites, the set of navigation satellites corrections for each satellite s including a correction corresponding to the adjusted satellite wide-lane bias value, b WL s, determined for satellite s; wherein the sets of navigation satellite corrections for the n satellites are for transmission to navigation receivers for use in determining locations of the navigation receivers. receiving reference receiver measurement information, including receiving, from a plurality of reference receivers at established locations, measurements of satellite navigation signals received by each of the reference receivers, wherein the satellite navigation signals received by each reference receiver of the plurality of reference receivers include satellite navigation signals at first and second frequencies; in accordance with the received reference receiver measurement information, and in accordance with the established locations of the plurality of reference receivers, determining initial wide-lane navigation solutions for the plurality of reference receivers, the initial wide-lane navigation solutions including double-difference wide-lane fixed integer ambiguity values and single-difference wide-lane floating ambiguities(404,406); in accordance with the initial wide-lane navigation solutions, for a constellation of n satellites in the plurality of satellites, determining m clusters of single-difference wide-lane floating ambiguities, where m is an integer greater than one, and determining a satellite wide-lane bias value, b WL s, for each satellite s of the n satellites, in accordance with fractional portions of the SD wide-lane floating ambiguities in the m clusters; determining m clusters of single-difference wide-lane floating ambiguities, where m is an integer greater than one, and determining a satellite wide-lane bias value, b WL s, for each satellite s of the n satellites, in accordance with fractional portions of the SD wide-lane floating ambiguities in the m clusters; in accordance with the determined satellite wide-lane bias value, b WL s, for each satellite s of the n satellites, generating wide-lane navigation solutions for the plurality of reference receivers, including SD wide-lane fixed integer ambiguity values for the plurality of reference receivers; wherein generating a satellite wide-lane bias value, b WL s, for a respective satellite includes determining whether the satellite wide-lane bias value is outside a predefined range, and in accordance with a determination that the satellite wide-lane bias value is outside a predefined range, adjusting the satellite wide-lane bias value by a predefined number of wide-lane cycles, and adjusting corresponding SD wide-lane ambiguity values by the predefined number of wide-lane cycles; and generating a set of navigation satellite corrections for each satellite of the n satellites, the set of navigation satellites corrections for each satellite s including a correction corresponding to the adjusted satellite wide-lane bias value, b WL s, determined for satellite s; wherein the sets of navigation satellite corrections for the n satellites are for transmission to navigation receivers for use in determining locations of the navigation receivers.