An Algorithm for Solving a Family of Fourth-Degree Diophantine Equations that Satisfy Runge's Condition

摘要

This paper proposes an algorithmic implementation of the elementary version of Runge's method for a family of fourth-degree Diophantine equations in two unknowns. Any Diophantine equation of the fourth degree the leading homogeneous part of which is decomposed into a product of linear and cubic polynomials can be reduced to equations of the type considered in this paper. The corresponding algorithm (in its optimized version) is implemented in the PARI/GP computer algebra system.