Interesting ideas and worth pursuing but currently my favoured approach for terraforming Mars would be by bombarding it with asteroids and comets. We can do thi

Interesting ideas and worth pursuing but currently my favoured approach for terraforming Mars would be by bombarding it with asteroids and comets. We can do this with technology that already exists, we just need to mass produce rockets capable of reaching the required material and fund the project somehow, maybe with a single platinum rich asteroid returned to Earth orbit. Bombarding Mars will have multiple benefits, it'll add a lot of dust, gases and heat to its atmosphere which might be enough to melt the Martian ice caps. We could use the impacts to excavate extremely deep craters, by repeatedly impacting the same location, which would have a higher atmospheric pressure due to their depth. By using very icy asteroids and comets you would also be depositing a lot of water, nitrogen and other elements which would help with the atmospheric composition.