In this seminar I will discuss the details of the result that
knottedness is in NP assuming the generalized Riemann hypothesis.
The main part of the work is to properly understand Koiran's
construction that solvability of a system of algebraic...
This talk will be a partial survey of the first questions in the
complexity theory of geometric topology problems. What is the
complexity, or what are known complexity bounds, for distinguishing
n-manifolds for various n? For distinguishing knots...
