Products of prime powers in binary recurrence sequences : part I. The hyperbolic case, with an application to the generalized Ramanujan-Nagell equation

We show how the Gelfond-Baker theory and diophantine approximation techniques can be applied to solve explicitly the diophantine equation [formula] (where [formula] is a binary recurrence sequence with positive discriminant), for arbitrary values of the parameters. We apply this to the equation [formula] , which is a generalization of the Ramanujan-Nagell equation [formula]. We present algorithms to reduce upper bounds for the solutions of these equations. The algorithms are easy to translate into computer programs. We present an example which shows that in practice the method works well