On the extension of the Diophantine pair in .
We present an algorithm for computing the greatest integer that is not a solution of the modular Diophantine inequality , with complexity similar to the complexity of the Euclid algorithm for computing the greatest common divisor of two integers.
In a recent paper, Freitas and Siksek proved an asymptotic version of Fermat’s Last Theorem for many totally real fields. We prove an extension of their result to generalized Fermat equations of the form , where A, B, C are odd integers belonging to a totally real field.
This paper is concerned with the estimation of the number of integer solutions to exponential equations in several variables, over function fields. We develop a method which sometimes allows to replace known exponential bounds with polynomial ones. More generally, we prove a counting result (Thm. 1) on the integer points where given exponential terms become linearly dependent over the constant field. Several applications are given to equations (Cor. 1) and to the estimation of the number of equal...