Dans toutes les bonnes librairies :
Approximation by algebraic numbers.
Bientôt disponible :
Distribution modulo one and Diophantine approximation.