Gravar-mail: Contradomínios numéricos em espaços de Hilbert e em espaços de Krein : teoria, algoritmos e implementação computacional