Su nombre viene dado por la ciudad española de Málaga, en Andalucía, y la denominación Gredos por la sierra de Gredos perteneciente al Sistema Central de la península ibérica.