New Course on Algebro-Geometric Decision Methods at Cambridge - During
Lent term, 2012, I'll be teaching a Part IV
pure mathematics course called Decision Methods over Real and
Algebraically
Closed Fields at DPMMS, Cambridge.
Please check this space for updates, and email me if there are
things you would like me to cover outwith my current lecture roadmap.
I hope you join!
. .
: ::.
: ::::.
{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
|