Pell's Equation
release_jv4wi26vzjgofde5cgguvrjwgy
by
Marcin Acewicz, Karol Pąk
Abstract
<jats:title>Summary</jats:title>
In this article we formalize several basic theorems that correspond to Pell's equation. We focus on two aspects: that the Pell's equation <jats:italic>x</jats:italic><jats:sup>2</jats:sup> − <jats:italic>Dy</jats:italic><jats:sup>2</jats:sup> = 1 has infinitely many solutions in positive integers for a given <jats:italic>D</jats:italic> 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 <jats:monospace>#39</jats:monospace> from the "Formalizing 100 Theorems" list maintained by Freek Wiedijk at <jats:ext-link xmlns:xlink="http://www.w3.org/1999/xlink" ext-link-type="uri" xlink:href="http://www.cs.ru.nl/F.Wiedijk/100/">http://www.cs.ru.nl/F.Wiedijk/100/</jats:ext-link>.
In application/xml+jats
format
Archived Files and Locations
application/pdf 332.5 kB
file_nwowmmf5hbfbxoz5tcxep6r2o4
|
repozytorium.uwb.edu.pl (web) web.archive.org (webarchive) |
application/pdf 284.1 kB
file_idm2lxzzvffpbllbvlwhsowvg4
|
web.archive.org (webarchive) content.sciendo.com (web) |
application/pdf 330.1 kB
file_uy6d6dhacjf6lfoe3cyuvdbuey
|
web.archive.org (webarchive) www.degruyter.com (web) |
article-journal
Stage
published
Date 2017-10-01
Open Access Publication
In DOAJ
In ISSN ROAD
In Keepers Registry
ISSN-L:
1426-2630
access all versions, variants, and formats of this works (eg, pre-prints)
Crossref Metadata (via API)
Worldcat
SHERPA/RoMEO (journal policies)
wikidata.org
CORE.ac.uk
Semantic Scholar
Google Scholar