O geoprocessamento é uma tecnologia fundamental para análise e manipulação de dados espaciais. Qual dos seguintes softwares é amplamente utilizado para realizar análises espaciais e produzir mapas temáticos?