Polynomial parametrizations of Pythagorean triples

Source: arxiv:0706.0290, doi:10.1016/j.jpaa.2007.05.019 Authors: Lazar Milikic Status: verified Main declarations: LeanPool.PythagoreanPolynomialParametrization.exists_int_valued_parametrization Tags: number-theory, pythagorean-triples, integer-valued-polynomials MSC: 11D09, 11D85, 13F20