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