Sobre a computação de vetores em rede de comprimento mínimo, mínimos sucessivos e bases reduzidas com aplicações | Synapse