PL EN


Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników
2017 | 25 | 3 | 197-204
Tytuł artykułu

Pell’s Equation

Treść / Zawartość
Warianty tytułu
Języki publikacji
EN
Abstrakty
EN
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 Wiedijk at http://www.cs.ru.nl/F.Wiedijk/100/.
Wydawca
Rocznik
Tom
25
Numer
3
Strony
197-204
Opis fizyczny
Daty
wydano
2017-10-01
otrzymano
2017-08-30
online
2017-12-19
Twórcy
  • , ,
autor
  • , ,
Bibliografia
Typ dokumentu
Bibliografia
Identyfikatory
Identyfikator YADDA
bwmeta1.element.doi-10_1515_forma-2017-0019
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.