MIMO Over-the-Air Computation: Beamforming Optimization on the Grassmann Manifold | IEEE Conference Publication | IEEE Xplore