mathematical formulations of quantum mechanics