Lawrence N. Mann — mathematician