Daniel Heinlein - Exact sign computations over real algebraic numbers (MA Vortrag)