Computational approach towards vibrational spectroscopic detection of molecular species relevant to atmospheric chemistry and climate science: The formic acid rotamers | IEEE Conference Publication | IEEE Xplore