The first part of the article surveys Atiyah’s work in algebraic geometry during the 1950s, mainly on holomorphic vector bundles over curves. In the second part we discuss his work from the late 1970s on mathematical aspects of gauge theories, involving differential geometry, algebraic geometry, and topology.
Algorithmic semi-algebraic geometry and topology—recent progress and open problems