Integer-ambiguity resolution in astronomy and geodesy. - André Lannes; Jean-Louis Prieur (CoRR, 2013)