<< TEACHING

PhD Students

  • Kristjan Liiva, University of Edinburgh (2013-). Decision methods in real algebra and analysis. Co-supervised with Dr Paul B. Jackson.

Recent Taught or Supervised Courses

 

    . .
    : ::.
    : ::::.

{Expository notes}

Sums of Squares Positivstellensatzen Methods Explained: Part I

Understanding Algebro-Geometric Quantifier Elimination: Part I, Algebraically Closed Fields of Characteristic Zero via Muchnik