Quand on implante des fonctions en machine, on utilise presque toujours des approximations polynomiales. Dans la plupart des cas, le polynôme qui approche le mieux (pour une norme et un intervalle donnés) une fonction a des coefficients qui ne sont pas exactement représentables sur un nombre fini de bits. Or, les polynômes que nous devons utiliser doivent satisfaire des contraintes du type : si n désigne le degré maximal des polynômes considérés, le i-ème coefficient, pour i = 0, ..., n, de l'approximant doit tre un nombre rationnel de dénominateur 2mi, o (mi)i = 0, ..., n est une suite d'entiers donnée ou à déterminer, suivant l'application considérée. Nous présenterons une méthode heuristique utilisant l'algorithmique des réseaux euclidiens et notamment l'algorithme LLL qui permet de produire une très bonne (voire la meilleure) approximation polynomiale sous ce type de contraintes quand la norme considérée est la norme sup. Des techniques similaires fonctionnent pour la norme L2. [Travaux de B., Chevillard, Hanrot, Muller, Tisserand et Torres]
S'il reste quelques secondes, on parlera aussi de questions, encore assez largement ouvertes, autour de l'arrondi correct des fonctions et qui soulèvent un problème diophantien difficile.