Determining the small solutions to š¯‘†-unit equations
Nigel Paul Smart Ā· Mathematics of Computation Ā· 1999
In this paper we generalize the method of Wildanger for finding small solutions to unit equations to the case of S S -unit equations. The method uses a minor generalization of the LLL based techniques used to reduce the bounds derived from transcendence theory, followed by an enumeration strategy based on the Fincke-Pohst algorithm. The method used reduces the computing time needed from MIPS years down to minutes.