"Bartel L. Van Der Waerden"