A computational proof of the existence of the Dual Isogeny

Abstract

For $E$ an elliptic curve over a perfect field $K$, we present a proof of the existence of the dual isogeny $\hat{\varphi }$ using computational methods linked to Vélu's formulae instead of the standard Galois correspondence method.