On Manin's conditional algorithm
Utilisation des calculateurs en mathématiques pures (Limoges, 1975), Mémoires de la Société Mathématique de France no. 49-50  (1977), p. 211-224
@incollection{MSMF_1977__49-50__211_0,
     author = {Zimmer, Horst G.},
     title = {On Manin's conditional algorithm},
     booktitle = {Utilisation des calculateurs en math\'ematiques pures (Limoges, 1975)},
     author = {Collectif},
     series = {M\'emoires de la Soci\'et\'e Math\'ematique de France},
     publisher = {Soci\'et\'e math\'ematique de France},
     number = {49-50},
     year = {1977},
     pages = {211-224},
     zbl = {0371.14014},
     mrnumber = {58 \#5682},
     language = {mul},
     url = {http://www.numdam.org/item/MSMF_1977__49-50__211_0}
}
Zimmer, Horst G. On Manin's conditional algorithm, in Utilisation des calculateurs en mathématiques pures (Limoges, 1975), Mémoires de la Société Mathématique de France, no. 49-50 (1977), pp. 211-224. doi : 10.24033/msmf.231. http://www.numdam.org/item/MSMF_1977__49-50__211_0/

1. V.A.Dem'Janenko, Bounded torsion of elliptic curves. Mat. Zametki 12 (1972), 53-58 쀽 Math. Notes 12 (1972), 464-466. | MR 56 #5575 | Zbl 0254.14013

2. Ju. I. Manin, Cyclotomic fields and modular curves. Uspehi Mat. Nauk 26(1971), no. 6(162), 7-71 쀽 Russian Math. Surveys 26(1971), no. 6, 7-78. | MR 53 #5480 | Zbl 0266.14012

3. B. Mazur and J. Tate, Points of order 13 on elliptic curves. Inventiones math. 22(1973), 41-49. | MR 50 #327 | Zbl 0268.14009

4. T. Nagell, Sur les propriétés arithmétiques des cubiques planes du premier genre. Acta Math. 52 (1929), 93-126. | JFM 54.0403.03

5. A.P. Ogg, Rational points of finite order on elliptic curves. Inventiones math. 12 (1971), 105-111. | MR 45 #178 | Zbl 0216.05602

6. D.E. Penney and C. Pomerance, A search for elliptic curves with large rank. Math. Comp. 28, no. 127 (1974), 851-853. | MR 51 #12861 | Zbl 0309.14025

7. N.M. Stephens, The diophantine equation X3 쀫 Y3 쀽 DZ3 and the conjectures of Birch and Swinnerton-Dyer. J. reine angew. Math. 231 (1968), 121-162. | MR 37 #5225 | Zbl 0221.10023

8. J. Tate, Rational points on elliptic curves. Philips Lectures, Haverford College 1961.

9. H.G. Zimmer, Computational Problems, Methods, and Results in Algebraic Number Theory. Lecture Notes in Math., Vol.262, Springer-Verlag, Berlin-Heidelberg-New York 1972. | MR 48 #2107 | Zbl 0231.12001

10. H.G. Zimmer, Ein Analogon des Satzes von Nagell-Lutz über die Torsion einer elliptischen Kurve. J. reine angew. Math. 268/269 (1974), 360-378. | MR 50 #4590 | Zbl 0305.14006

11. H.G. Zimmer, On the difference of the Weil height and the Néron-Tate height. To appear in Math. Z. | Zbl 0303.14003

12. H.G. Zimmer, Points of finite order on elliptic curves over number fields. To appear.