Solutions rationnelles
de l'équation y^2 = x^3+x+745
D. Simon (LMNO)
Dans cet exposé, je
déterminerai toutes les solutions rationnelles de
l'équation diophantienne y^2 = x^3+x+745.
Ce sera l'occasion de montrer la loi de groupe sur les courbes
elliptiques et quelques algorithmes utiles en théorie des
nombres comme le calcul des unités et du groupe de classes des
corps de nombres ou la construction de points rationnels sur les
coniques.