共 50 条
- [4] Using linear arithmetic procedure for generating induction schemes FOUNDATIONS OF SOFTWARE TECHNOLOGY AND THEORETICAL COMPUTER SCIENCE, 1994, 880 : 438 - 449
- [5] RECURRENCE RELATIONS FOR LINEAR MATING SCHEMES PROCEEDINGS OF THE KONINKLIJKE NEDERLANDSE AKADEMIE VAN WETENSCHAPPEN SERIES A-MATHEMATICAL SCIENCES, 1985, 88 (02): : 199 - 206
- [6] LINEAR-FORMS ON ARITHMETIC ABELIAN-VARIETIES - INEFFECTIVE BOUNDS BULLETIN DE LA SOCIETE MATHEMATIQUE DE FRANCE, 1980, 108 (02): : 41 - 47
- [8] On the arithmetic of abelian varieties JOURNAL FUR DIE REINE UND ANGEWANDTE MATHEMATIK, 2020, 762 : 1 - 33
- [9] Explicit Arithmetic on Abelian Varieties GEOMETRY, ALGEBRA, NUMBER THEORY, AND THEIR INFORMATION TECHNOLOGY APPLICATIONS, 2018, 251 : 317 - 374