KAUST CEMSE AMCS STOCHNUM Seminar Thomas Mueller Sharp Complexity Bounds For Computing Quadrature Formulas