Rational points on elliptic curves with complex multiplication by the ring of integers in \({\mathbb{Q}}(\sqrt{-7})\) (Q1093694)

The paper under review proves that certain elliptic curves have only finitely many rational points. The curves in question have complex multiplication by \({\mathbb{Q}}(\sqrt{-7})\), and the result follows from a theorem of \textit{J. Coates} and \textit{A. Wiles} [Invent. Math. 39, 223-251 (1977; Zbl 0359.14009)]: The rank of E(\({\mathbb{Q}})\) is zero if the L-series of E is non zero at \(s=1.\) The values of the L-series are given by coefficients of a modular form. To compute these one has to do explicit calculations involving the Shimura lifting.