Marcin Acewicz, Karol Pak. Formalization of Pell's Equations in the Mizar System. In Maria Ganzha, Leszek A. Maciaszek, Marcin Paprzycki, editors, Proceedings of the 2017 Federated Conference on Computer Science and Information Systems, FedCSIS 2017, Prague, Czech Republic, September 3-6, 2017. pages 223-226, 2017. [doi]
Abstract is missing.