Methods and apparatus provide for positioning of a rover antenna from GNSS data derived from multi-frequency signals and correction data derived from a network of reference stations. At each of a plurality of epochs, the GNSS data and correction data are used to estimate values defining a rover antenna position and a set of multi-frequency ambiguities. An ionospheric-free carrier-phase ambiguity per satellite is estimated based on a known rover antenna position. The estimated ionospheric-free carrier-phase ambiguity is combined with an estimated widelane ambiguity and with an estimated ionospheric-free ambiguity and with values defining the known rover antenna position to obtain values defining an aided rover antenna position and aided multi-frequency ambiguities.