Algoritmo LLL e Magma na resolução de inequações diofantinas exponenciais e somas de potências de Fibonacci - Cardoso, Victor Carvalho (2024)