Formalization of Pell's Equations in the Mizar System.

Marcin Acewicz, Karol Pak

Browse the full FedCSIS paper archive.