Gröbner bases and Diophantine analysis (Q950419)

The author offers a new conclusion to the proof of a theorem on the number of solutions of a system of two Pell equations [\textit{M. Cipu} and \textit{M. Mignotte}, J. Number Theory 125, 356--392 (2007; Zbl 1137.11018)]. The alternative is to use Gröbner bases computations instead of more computationally demanding steps (involving Davenport's Lemma) at some point in the proof. The author suggests that this polynomial approach may be useful in the study of solutions of other systems of Diophantine equations.