A computational proof of the existence of the Dual Isogeny

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