共 50 条
- [41] Formalization of Pell's Equation in the Mizar System PROCEEDINGS OF THE 2017 FEDERATED CONFERENCE ON COMPUTER SCIENCE AND INFORMATION SYSTEMS (FEDCSIS), 2017, : 223 - 226
- [42] PELL'S EQUATION IN POLYNOMIALS AND ADDITIVE EXTENSIONS QUARTERLY JOURNAL OF MATHEMATICS, 2017, 68 (04): : 1335 - 1355
- [43] On the set of integral solutions of the Pell equation in global function fields Acta Mathematica Hungarica, 2013, 139 : 183 - 194
- [45] EVEN AND ODD REMARKS ON PELL'S EQUATION JP JOURNAL OF ALGEBRA NUMBER THEORY AND APPLICATIONS, 2005, 5 (02): : 401 - 411