Fast and precise GNSS RTK positioning with ionosphere-constrained weighted least squares quadratic programming | Synapse