Carl Pomerance Jeffrey W. Smith