Formalization of Pell's Equations in the Mizar System. - Marcin Acewicz; Karol Pak (FedCSIS, 2017)

Pell's Equation. - Marcin Acewicz; Karol Pak (Formaliz. Math., 2017)

Basic Diophantine Relations. - Marcin Acewicz; Karol Pak (Formaliz. Math., 2018)