@phdthesis{Kellner2015,
  author      = {Kai Kellner},
  title       = {Positivstellensatz certificates for containment of polyhedra and spectrahedra},
  type        = {doctoralthesis},
  pages       = {113},
  school      = {Universit{\"a}tsbibliothek Johann Christian Senckenberg},
  year        = {2015},
}