Equações diofantinas lineares: um aplicativo para a resolução - Santos, Lucas Azevedo dos [UNESP] (2016)