[en] FORMALIZATION OF KEY ALGORITHMS FROM LPEGN - GUILHERME DANTAS DE OLIVEIRA (2025)