Muratore, G., & Schneider, C. (2022). Effective computations of the Atiyah-Bott formula. Journal of Symbolic Computation, 112, 164–181. https://doi.org/10.1016/j.jsc.2022.01.005