The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

Displaying similar documents to “Solving parametrized systems of Pell equations”

Pell’s Equation

Marcin Acewicz, Karol Pąk (2017)

Formalized Mathematics

Similarity:

In this article we formalize several basic theorems that correspond to Pell’s equation. We focus on two aspects: that the Pell’s equation x2 − Dy2 = 1 has infinitely many solutions in positive integers for a given D not being a perfect square, and that based on the least fundamental solution of the equation when we can simply calculate algebraically each remaining solution. “Solutions to Pell’s Equation” are listed as item #39 from the “Formalizing 100 Theorems” list maintained by Freek...