Implementación de métodos numéricos en el cálculo de invariantes