In this paper, we give an effective and efficient algorithm which on input takes non-zero integers and and on output produces the generators of the Mordell-Weil group of the elliptic curve over given by an equation of the form . Our method uses the correspondence between the 240 lines of a del Pezzo surface of degree 1 and the sections of minimal Shioda height on the corresponding elliptic surface over . For most rational elliptic surfaces, the density of the rational points is proven by various authors, but the results are partial in case when the surface has a minimal model that is a del Pezzo surface of degree 1. In particular, the ones given by the Weierstrass equation , are among the few for which the question is unsolved, because the root number of the fibres can be constant. Our result proves the density of the rational points in many of these cases where it was previously unknown.

生成讲解博客的中文版本

生成AI智能校验的中文版本