در این پایان نامه به معرفی خم های بیضوی(‏‎elliptic curves‎‏ ) و نتایج بنیادی ، در مورد آنها می پردازد. سپس با ارائه الگوریتمی ، نقاط گویا‏‎‎ روی خم بیضوی بررسی می شود.دراین الگوریتم ابزار اصلی کار، ارتفاع متعارف‏‎canonical hight‎‏ نقاط روی خم بیضوی ، رتبه ‏‎rank‎‏ خم بیضوی و حدس بیرچ‏‎birch‎‏ و سوینرتون-دایر‏‎swinnerton-dyer‎‏ می باشد. معرفی نرم افزار ‏‎pari‎‏ از کارهای تحقیقاتی است که برای اولین بار در کشور مطرح می شود.