lecture 13 graduate course on real algebraic distance geometry in discrete s