Have you read the Mars Trilogy by Kim Stanley Robinson? I bet you have, but if you haven't, you should. It's the most amazing hard science fiction regarding terraforming and colonzing Mars. Planetary-scale engineering techniques to heat Mars up, add water, increase the atmospheric pressure, etc are discussed in detail.