MICHAEL A. BENNETT
The author uses irrationality and linear independence measures for certain algebraic numbers to derive explicit upper bounds for the solutions of related norm form equations. The Lenstra-Lenstra-Lovász lattice basis reduction algorithm is then utilized to show that the integer solutions to
(where
are given by
,
and
, for
.