خانواده خم های بیضوی (y^2=(1-x^2)(1-k^2x^2 را برای اعداد گویای k مخالف با -1و0و1, را در نظر میگیریم. هر خم بیضوی با زیرگروه تاب z_2*z_4 یا z_2*z_8 به طور دوگویا هم ارز با یکی از این خم های درجه چهار به ازای یک عدد گویای k مخالف با -1و0و1, است. با استفاده از فرم متعارف خم های بیضوی, خم هایی از این قبیل با رتبه بزرگ را پیدا می کنیم.
الگوریتمی که در این پایان نامه مورد استفاده قرار می گیرد شامل ...