“…By the specialization theorem of Silverman [18], in order to prove that the family of elliptic curves E(t) has rank at least three over Q(t), it suffices to find a specialization t = t 0 such that the points P i (t), i = 1, 2, 3, are linearly independent on a specialized curve over Q. If we take t = 2, then the points: P 1 (2) = (0, 4) , P 2 (2) = (−3, 8) , P 3 (2) = (5,4) are linearly independent points of infinite order on the elliptic curve E(2) : y 2 = x 3 − 25x + 16. Indeed, the regulator, i.e., the determinant of the Néron-Tate height pairing matrix of these points is the non-zero value 2.94853892225094, according to SAGE [17].…”