dimacs 2017: Algorithmic and Quantitative Aspects of Real Algebraic Geometry in Mathematics and Computer Science