A mathematical programming for predicting molecular formulas in accurate mass spectrometry | IEEE Conference Publication | IEEE Xplore