Réduction de Base de Réseau

La procédure consistant à transformer une base donnée d'un réseau (un sous-groupe discret de R^n engendré par des combinaisons linéaires entières de vecteurs) en une base dont les vecteurs sont plus courts et plus proches de l'orthogonalité tout en engendrant le même réseau.